Sciweavers

1005 search results - page 129 / 201
» Information systems security engineering: a critical compone...
Sort
View
COMPUTER
2002
196views more  COMPUTER 2002»
13 years 8 months ago
Grid Services for Distributed System Integration
ions and concepts that let applications access and share resources and services across distributed, wide area networks, while providing common security semantics, distributed resou...
Ian T. Foster, Carl Kesselman, Jeffrey M. Nick, St...
EWSPT
1995
Springer
14 years 14 days ago
Experiments in Process Interface Descriptions, Visualizations and Analyses
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
David C. Carr, Ashok Dandekar, Dewayne E. Perry
VL
1995
IEEE
176views Visual Languages» more  VL 1995»
14 years 14 days ago
The Visual Language of Experts in Graphic Design
Graphic designers and other visual problem solving experts now routinely use computer-based imageediting tools in their work. Recently, attempts have been made to apply learning a...
Henry Lieberman
PLDI
2006
ACM
14 years 2 months ago
Combining type-based analysis and model checking for finding counterexamples against non-interference
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
JCDL
2004
ACM
148views Education» more  JCDL 2004»
14 years 2 months ago
Combined searching of web and oai digital library resources
In this paper, we describe an experiment in combined searching of web pages and digital library resources, exposed via an Open Archives metadata provider and web gateway service. ...
Aaron Krowne, Martin Halbert