338 search results - page 35 / 68 » On the complexity of privacy-preserving complex event proces... |
DC
2008
13 years 8 months ago
2008
This paper introduces solo-valency, a variation on the valency proof technique originated by Fischer, Lynch, and Paterson. The new technique focuses on critical events that influe...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
TIME
1994
IEEE
14 years 27 days ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
ER
2006
Springer
14 years 13 days ago
2006
Springer
Worldwide globalization increases the complexity of problem solving and decision-making, whatever the endeavor is. This calls for a more accurate and complete understanding of unde...
DOCENG
2007
ACM
14 years 21 days ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...