Sciweavers

921 search results - page 112 / 185
» Agent Design Patterns: Elements of Agent Application Design
Sort
View
121
Voted
VSTTE
2005
Springer
15 years 9 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...
146
Voted
SIGUCCS
2005
ACM
15 years 9 months ago
An augmented campus design for context-aware service provision
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
Alessandro Genco, Giuseppe Reina, Paolo Raccuglia,...
126
Voted
FLAIRS
2008
15 years 6 months ago
Recovering from Inconsistency in Distributed Simple Temporal Networks
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...
Anthony Gallagher, Stephen F. Smith
141
Voted
ICALP
2009
Springer
16 years 4 months ago
Towards a Study of Low-Complexity Graphs
Abstract. We propose the study of graphs that are defined by lowcomplexity distributed and deterministic agents. We suggest that this viewpoint may help introduce the element of in...
Sanjeev Arora, David Steurer, Avi Wigderson
115
Voted
CHI
2007
ACM
16 years 4 months ago
Transfer scenarios: grounding innovation with marginal practices
Transfer scenarios is a method developed to support the design of innovative interactive technology. Such a method should help the designer to come up with inventive ideas, and at...
Sara Ljungblad, Lars Erik Holmquist