1927 search results - page 129 / 386 » Modeling the Evolution of Objects in Temporal Information Sy... |
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
IAAI
2003
13 years 10 months ago
2003
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
CAV
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...