10159 search results - page 279 / 2032 » System Design Validation Using Formal Models |
125
click to vote
ICMAS
2000
15 years 4 months ago
2000
This paper investigates the computational complexity of a fundamental problem in multi-agent systems: given an environment together with a specification of some task, can we const...
156
Voted
WSC
1997
15 years 4 months ago
1997
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
115
Voted
BMAS
2000
IEEE
15 years 7 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
144
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
155
Voted
ENASE
2009
15 years 1 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...