863 search results - page 120 / 173 » A goal-oriented web browser |
164
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
126
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Address-space randomization (ASR) is a promising solution to defend against memory corruption attacks that have contributed to about three-quarters of USCERT advisories in the pas...
144
click to vote
CSMR
2006
IEEE
15 years 10 months ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
111
click to vote
AUIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Thin-client diagramming tools provide a number of advantages over traditional thick-client design tools but are challenging to build. We describe an extension to a thick-client me...
131
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Grid-enabled portals are becoming increasingly popular as a means to create Grid-based problem-solving environments (PSEs) that allow scientists to access distributed resources, a...