2373 search results - page 327 / 475 » The Design of the Zinc Modelling Language |
164
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
144
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
142
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
140
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...