1073 search results - page 135 / 215 » Reasoning about Continuous Processes |
SRDS
2008
IEEE
14 years 3 months ago
2008
IEEE
Large-scale distributed systems are subject to churn, i.e., continuous arrival, departure and failure of processes. Analysis of protocols under churn requires one to use churn mod...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
RR
2007
Springer
14 years 3 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
Nowadays network bandwidth is increasing continuously for endusers and network providers. Network monitoring tools have to be able to support these high-speed networks, processing...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Continuing strides in processing, storage, sensing, and networking technologies are enabling people to capture their activities and experiences as greater volumes of ever-richer m...