1179 search results - page 37 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
FMCO
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
EDBT
2008
ACM
2008
ACM
iDataGuard: middleware providing a secure network drive interface to untrusted internet data storage
14 years 9 months ago
In this demonstration, we present the design and features of iDataGuard. iDataGuard is an interoperable security middleware that allows users to outsource their file systems to he...