8828 search results - page 24 / 1766 » Formal methods in practice |
SEKE
2005
Springer
15 years 3 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
100
click to vote
AFP
2004
Springer
15 years 3 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
SRDS
1999
IEEE
15 years 2 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
AWIC
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes a practical solution for the incorporation of security services in agents. From a set of basic user requirements, the agents will be able to find out the best ...