1112 search results - page 67 / 223 » Implementation aspects of a delegation system |
FROCOS
2007
Springer
14 years 4 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
FECS
2007
13 years 11 months ago
2007
- Neurologic Music Therapy (NMT) can improve deficiencies in speech, motor, and cognitive skills. This paper introduces the field to computer scientists by explaining the rationale...
SERA
2007
Springer
14 years 4 months ago
2007
Springer
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
QI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...