Sciweavers

5064 search results - page 195 / 1013
» Recent Developments in Gridsolve
Sort
View
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 11 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ITCC
2003
IEEE
15 years 11 months ago
Database Design for Dynamic Online Surveys
This paper discusses the architecture and implementation of dynamic web-based surveys with an emphasis on the recently completed Survey2001 project. Survey2001 was made available ...
Roy P. Pargas, James C. Witte, Kowshik Jaganathan,...
NDSS
2003
IEEE
15 years 11 months ago
Traps and Pitfalls: Practical Problems in System Call Interposition Based Security Tools
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
Tal Garfinkel
SEW
2003
IEEE
15 years 11 months ago
Addressing Software Security and Mitigations in the Life Cycle
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
David P. Gilliam, John D. Powell, Eric Haugh, Matt...
WETICE
2003
IEEE
15 years 11 months ago
Trust Dynamics for Collaborative Global Computing
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
Colin English, Sotirios Terzis, Waleed Wagealla, H...