852 search results - page 127 / 171 » entcs 2010 |
127
Voted
ENTCS
2010
15 years 3 months ago
2010
The validity/satisfiability problem for most propositional interval temporal logics is (highly) undecidable, under very weak assumptions on the class of interval structures in whi...
121
Voted
ENTCS
2010
15 years 3 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
111
Voted
ENTCS
2010
15 years 3 months ago
2010
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...
98
Voted
ENTCS
2010
15 years 3 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
140
Voted
ENTCS
2010
15 years 1 months ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...