18924 search results - page 45 / 3785 » Conformance of Distributed Systems |
101
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Electronic markets, dispute resolution and negotiation protocols are three types of application domain that can be viewed as open agent systems. Members of such systems a...
COMPSAC
2008
IEEE
15 years 12 hour ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
ENTCS
2006
14 years 12 months ago
2006
Being able to systematically change the original architecture of a component-based system to a desired target architecture without changing the set of functional requirements of t...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
105
click to vote
ENTCS
2006
14 years 12 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...