959 search results - page 130 / 192 » Transfers between Logics and their Applications |
183
click to vote
AAAI
2007
15 years 8 months ago
2007
Accurately locating users in a wireless environment is an important task for many pervasive computing and AI applications, such as activity recognition. In a WiFi environment, a m...
153
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
188
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
217
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
173
click to vote
SIGOPSE
1998
ACM
15 years 10 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...