Sciweavers

13137 search results - page 2305 / 2628
» A Science of Software Design
Sort
View
ATAL
2009
Springer
16 years 2 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
206
Voted
ISEUD
2009
Springer
16 years 2 months ago
End-User Development of Enterprise Widgets
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
Michael Spahn, Volker Wulf
225
Voted
MODELS
2009
Springer
16 years 2 months ago
Domain analysis on an electronic health records system
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
Xiaocheng Ge, Richard F. Paige, John A. McDermid
183
Voted
OOPSLA
2009
Springer
16 years 2 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
PRIMA
2009
Springer
16 years 2 months ago
An Empirical Study of Agent Programs
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
M. Birna van Riemsdijk, Koen V. Hindriks
« Prev « First page 2305 / 2628 Last » Next »