1974 search results - page 174 / 395 » Conditional Purchase Orders |
145
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
169
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
139
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
145
click to vote
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
148
Voted
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...