7209 search results - page 671 / 1442 » Software Engineering for Multi-Agent Systems |
147
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
122
click to vote
ARCS
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. This paper describes a job distribution system which focuses on standard desktop worker nodes in inhomogeneous and unreliable environments. The system is suited for gener...
166
click to vote
ISSRE
2006
IEEE
16 years 5 days ago
2006
IEEE
Moving program code that implements cross-cutting concerns into aspects can improve the maintainability of legacy systems. This kind of refactoring, called aspectualization, can a...
135
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...
161
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...