27274 search results - page 5117 / 5455 » A framework for framework documentation |
188
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
170
Voted
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
168
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
348
click to vote
CASSIS
2005
Springer
16 years 7 days ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
232
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...