193 search results - page 27 / 39 » Modeling Environment for Component Model Checking from Hiera... |
ICDCSW
2007
IEEE
13 years 8 months ago
2007
IEEE
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
ICVS
2001
Springer
14 years 1 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
AAMAS
2008
Springer
13 years 8 months ago
2008
Springer
The continuous growth in ubiquitous and mobile network connectivity, together with the increasing number of networked devices populating our everyday environments, call for a deep ...
CDVE
2007
Springer
14 years 2 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...