8492 search results - page 263 / 1699 » Modelling and Design of Multi-Agent Systems |
136
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
143
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
130
click to vote
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
`Modelling inside GIS' has been widely researched over the years. This paper argues that such approach lacks appropriate model reusing and management functions because it is ...
165
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
136
click to vote
FSTTCS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...