1953 search results - page 60 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
IJCAI
1997
13 years 9 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
SASO
2007
IEEE
14 years 2 months ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
EUSFLAT
2003
13 years 9 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...