2145 search results - page 68 / 429 » Architectural Specifications in CASL |
EVOTING
2004
13 years 10 months ago
2004
: One of the basic principles of architecture is that of the relation between function and form. It is a common fact that in most cases form reveals or refers to function. Thus by ...
TRIDENTCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. This paper deals with challenges in federating wireless sensing fabrics. Federations of this sort are currently being developed in next generation global end-to-end exper...
FORTE
2009
13 years 6 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Landscape Architecture projects have many specific requirements such as particular multimedia and geographic data integration and structure, information preview, userfriendly inte...
SBIA
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. The agent/multi-agent system paradigm is an important field of Artificial Intelligence. The use of this paradigm in real-world problems is one of the main lines of intere...