10159 search results - page 1881 / 2032 » System Design Validation Using Formal Models |
VISUALIZATION
2003
IEEE
14 years 1 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...
SP
1998
IEEE
14 years 16 days 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...
AVSS
2007
IEEE
14 years 8 days 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 ...
CASES
2001
ACM
13 years 12 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...
JWSR
2007
13 years 8 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...