103 search results - page 21 / 21 » ATL with Strategy Contexts: Expressiveness and Model Checkin... |
CBSE
2011
Springer
12 years 5 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
SG
2005
Springer
13 years 11 months ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
CIKM
1994
Springer
13 years 9 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...