10159 search results - page 1881 / 2032 » System Design Validation Using Formal Models |
116
click to vote
VISUALIZATION
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
107
Voted
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
120
Voted
AVSS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a joint face orientation estimation in smart camera networks without having to localize the cameras in advance. The system is composed of in-node coarse ...
114
Voted
CASES
2001
ACM
15 years 5 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
134
Voted
JWSR
2007
15 years 2 months ago
2007
Service Oriented Architectures (SOA) are becoming the prevalent approach for realizing modern services and systems. SOA offers superior support for autonomy (decoupling) and heter...