10038 search results - page 1859 / 2008 » Model Checking for Managers |
103
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
115
click to vote
IJET
2007
15 years 1 months ago
2007
: XML has become a standard format in information exchange and integration on the Web. Much research has been conducted in recent years on XML technology, which has led to new deve...
107
click to vote
IJHPCA
2007
15 years 1 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
129
click to vote
IJVR
2007
15 years 1 months ago
2007
—To construct 3D virtual scenes from two-dimensional images with depth information, image warping techniques could be used. In this paper, a novel approach of cylindrical depth i...
116
click to vote
TISSEC
2008
15 years 1 months ago
2008
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...