1860 search results - page 122 / 372 » A Temporal Logic of Robustness |
169
click to vote
WSFM
2007
Springer
16 years 29 days 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...
127
click to vote
ISCAS
2008
IEEE
16 years 1 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 ...
170
click to vote
TIME
2005
IEEE
16 years 13 days 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...
172
click to vote
DAC
1999
ACM
15 years 11 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....
161
click to vote
ISMIS
2003
Springer
16 years 2 days 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...