504 search results - page 50 / 101 » Complexity Properties of Restricted Abstract Argument System... |
PROMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
141
click to vote
FASE
2004
Springer
15 years 1 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
IASTEDSEA
2004
14 years 11 months ago
2004
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
ISCIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Networks describe various complex natural systems including social systems. Recent studies have shown that these networks share some common properties. While studying com...
QEST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...