75 search results - page 5 / 15 » Secure Systems Development -- The Evolving Integration of Va... |
IEEEARES
2007
IEEE
14 years 1 months ago
2007
IEEE
The World Wide Web (WWW) has been predominantly responsible for instigating radical paradigm transformations in today’s global information rich civilizations. Many societies hav...
DAC
2005
ACM
14 years 7 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
ITNG
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper the authors describe the implementation and validation of a prototype of an environmental and health monitoring system based on a Wireless Sensor Network (WSN). The ...
SAFECOMP
1998
Springer
13 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
RSP
2006
IEEE
14 years 21 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...