652 search results - page 8 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
MSE
2002
IEEE
15 years 3 months ago
2002
IEEE
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Service oriented architectures (SOA) are becoming reality in a corporate environment. Rather than pure technology improvements SOA intends to increase manageability and s...
138
click to vote
IFL
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
MICCAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Surgeons need a robust interventional system capable of providing reliable, real-time information regarding the position and orientation of the surgical targets and tools...