1860 search results - page 122 / 372 » A Temporal Logic of Robustness |
95
Voted
WSFM
2007
Springer
15 years 6 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
59
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper we describe an address-event vision system designed to detect accidental falls in elderly home care applications. The system raises an alarm when a fall hazard is ...
95
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
91
Voted
DAC
1999
ACM
15 years 5 months ago
1999
ACM
: In this work we propose a technique for spatial and temporal partitioning of a logic circuit based on the nodes activity computed by using a simulation at an higher level of ion....
91
Voted
ISMIS
2003
Springer
15 years 5 months ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...