6317 search results - page 251 / 1264 » System Support for Pervasive Applications |
137
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
129
click to vote
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
We describe a new collaborative technology that is mid-way between the informality of email and the formality of shared workspaces. Email and other ad hoc collaboration systems ar...
123
click to vote
ACMDIS
2008
ACM
15 years 6 months ago
2008
ACM
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...
130
click to vote
JAR
2008
15 years 4 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
157
click to vote
ARGMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...