1492 search results - page 95 / 299 » Testing Properties of Constraint-Graphs |
140
Voted
SFM
2007
Springer
15 years 9 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
149
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
116
Voted
IJAIT
2006
15 years 3 months ago
2006
In this paper we present the agent architecture development environment ADE, intended for the design, implementation, and testing of distributed agent architectures. After a short...
139
Voted
IJCSA
2007
15 years 3 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
111
Voted
INTEGRATION
1998
15 years 3 months ago
1998
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...