7209 search results - page 376 / 1442 » Software Engineering for Multi-Agent Systems |
76
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
96
Voted
ICSE
2004
IEEE-ACM
15 years 6 months ago
2004
IEEE-ACM
Abstract. Today's wireless networks and devices support the dynamic composition of mobile distributed systems according to networked services and re
113
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
97
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper provides an overview of fault injection techniques and their applicability to testing SOAP RPC based web service systems. We also give a detailed example of the WS-FIT ...
108
Voted
AMAST
1995
Springer
15 years 4 months ago
1995
Springer
: We present the Orlog deductive object-oriented database system prototype. The implementation of the system relies on the idea of reducing inheritance to deduction and giving a re...