Sciweavers

15614 search results - page 281 / 3123
» The State of State
Sort
View
SRDS
2000
IEEE
15 years 11 months ago
Abstractions for Devising Byzantine-Resilient State Machine Replication
Assia Doudou, Rachid Guerraoui, Benoît Garbi...
AOSE
2000
Springer
15 years 11 months ago
Agent-Oriented Software Engineering: The State of the Art
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
Michael Wooldridge, Paolo Ciancarini
APN
2000
Springer
15 years 11 months ago
Improved Question-Guided Stubborn Set Methods for State Properties
Lars Michael Kristensen, Antti Valmari
ASM
2000
ASM
15 years 11 months ago
Using Abstract State Machines at Microsoft: A Case Study
Michael Barnett, Egon Börger, Yuri Gurevich, ...