8492 search results - page 119 / 1699 » Modelling and Design of Multi-Agent Systems |
183
click to vote
USENIX
2000
15 years 8 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
227
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
152
Voted
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
160
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
182
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...