7971 search results - page 89 / 1595 » On unbounded operators and applications |
148
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
146
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
The Operational Space Formulation creates a framework for the analysis and control of manipulator systems with respect to the behavior of their end-effectors. Its application to ...
137
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
194
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
174
click to vote
PRDC
2000
IEEE
15 years 9 months ago
2000
IEEE
Since the early 1970's a number of models have been proposed for estimating software reliability. However, the realism of many of the underlying assumptions and the applicabi...