2108 search results - page 125 / 422 » An Operational Semantics for Stateflow |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
DEXA
2007
Springer
15 years 4 months ago
2007
Springer
The semantic web is based on ontologies and metadata that indexes resources using ontologies. This indexing is called annotation. Ontology based information retrieval is an operati...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
PROMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...
EDOC
2006
IEEE
15 years 4 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...