1636 search results - page 274 / 328 » Type-Theoretic Functional Semantics |
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
SAINT
2006
IEEE
15 years 5 months ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...
WISE
2006
Springer
15 years 5 months ago
2006
Springer
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...
MOBIDE
2006
ACM
15 years 5 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...