907 search results - page 158 / 182 » Monitoring of Real-Time Properties |
RE
2004
Springer
14 years 1 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
UPP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
IMC
2003
ACM
14 years 1 months ago
2003
ACM
Internet topology information is only made available in aggregate form by standard routing protocols. Connectivity information and latency characteristicsmust therefore be inferre...
CSB
2002
IEEE
14 years 1 months ago
2002
IEEE
Analyzing protein sequence data becomes increasingly important recently. Most previous work on this area has mainly focused on building classification models. In this paper, we i...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
MapReduce is a popular framework for data-intensive distributed computing of batch jobs. To simplify fault tolerance, the output of each MapReduce task and job is materialized to ...