229 search results - page 37 / 46 » An Executable Interface Specification for Industrial Embedde... |
112
click to vote
VR
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we introduce DLoVe, a new paradigm for designing and implementing distributed and nondistributed virtual reality applications, using one-way constraints. DLoVe allo...
109
Voted
CASCON
2007
15 years 3 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
128
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
135
Voted
HCI
2009
14 years 11 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
124
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...