335 search results - page 55 / 67 » Arguing safety with Problem Oriented Software Engineering |
ARCS
2007
Springer
15 years 3 months ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...
92
Voted
ASP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
FORTE
2007
14 years 11 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
WSC
1998
14 years 10 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...