3505 search results - page 505 / 701 » A Language for Human Action |
189
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
167
click to vote
SOFSEM
2007
Springer
16 years 21 days ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
176
click to vote
ICAC
2006
IEEE
16 years 19 days ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
217
click to vote
DALT
2005
Springer
16 years 3 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
161
click to vote
IFIP
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...