Sciweavers

2501 search results - page 201 / 501
» Obligations and Their Interaction with Programs
Sort
View
126
Voted
ESAW
2007
Springer
15 years 10 months ago
Amongst First-Class Protocols
The ubiquity of our increasingly distributed and complex computing environments have necessitated the development of programming approaches and paradigms that can automatically man...
Tim Miller, Jarred McGinnis
EMSOFT
2005
Springer
15 years 10 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
CP
2004
Springer
15 years 10 months ago
Backtrack-Free Search for Real-Time Constraint Satisfaction
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
J. Christopher Beck, Tom Carchrae, Eugene C. Freud...
EPIA
2003
Springer
15 years 9 months ago
Model for Dialogue between Informational Agents
Abstract. A theoretical model for agents interaction to study semantic heterogeneity is proposed. The context of this study is informational agents with knowledge bases that are he...
Erika Valencia, Jean-Paul Sansonnet
CIA
2006
Springer
15 years 8 months ago
Selecting Web Services Statistically
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
David Lambert, David Robertson