795 search results - page 14 / 159 » A Formal Approach to Heterogeneous Software Modeling |
ATAL
2005
Springer
14 years 29 days ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...
FM
2003
Springer
14 years 19 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
CODES
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
The aim of DICE is the improvement of communication between culture-providers (institutions, museums, etc.) and different categories of users (scholars, publishers, culturaltouris...