3564 search results - page 393 / 713 » Evaluating a Formal Modelling Language |
141
click to vote
ICCAD
2008
IEEE
16 years 29 days ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
118
click to vote
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
125
click to vote
KI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
115
click to vote
ACOM
2004
Springer
15 years 7 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
136
click to vote
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...