3765 search results - page 610 / 753 » Qualitative Action Systems |
156
click to vote
SOFSEM
2007
Springer
16 years 2 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...
147
click to vote
TARK
2007
Springer
16 years 2 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
170
click to vote
CW
2006
IEEE
16 years 1 days ago
2006
IEEE
Many efforts to improve interaction in virtual and augmented reality applications do so by including tactile elements to create a link between virtual objects and actions. It is a...
130
click to vote
GLOBECOM
2006
IEEE
16 years 1 days ago
2006
IEEE
— Current peer-to-peer (P2P) streaming systems often assume that nodes are cooperative to upload and download data. However, in the open environment of the Internet, this is not ...
127
click to vote
ICMCS
2006
IEEE
16 years 19 hour ago
2006
IEEE
Current peer-to-peer (P2P) streaming systems often assume that hosts are cooperative. However, this may not be true in the open environment of the Internet. In this paper, we disc...