Sciweavers

5064 search results - page 195 / 1013
» Recent Developments in Gridsolve
Sort
View
204
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 21 days 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
150
Voted
ITCC
2003
IEEE
16 years 21 days 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,...
191
Voted
NDSS
2003
IEEE
16 years 20 days 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
181
Voted
SEW
2003
IEEE
16 years 20 days 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...
199
Voted
WETICE
2003
IEEE
16 years 20 days 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...