15660 search results - page 39 / 3132 » The Unbalance of Set Systems |
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
This paper describes the implementation of a set-oriented database production rule language proposed in earlier papers. Our implementation uses the extensibility features of the St...
IGPL
2010
14 years 10 months ago
2010
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...
189
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
Radio Frequency Identification (RFID) applications are set to play an essential role in object tracking and supply chain management systems. In the near future, it is expected tha...
ECIS
2011
13 years 11 months ago
2011
Technologies that are intentionally designed to change a person’s attitude or behaviors are emergent. Designers of these technologies frequently use implementations of influence...