Sciweavers

3193 search results - page 453 / 639
» A Security Risk Analysis Model for Information Systems
Sort
View
ESEC
1995
Springer
15 years 10 months ago
Improvise: Interactive Multimedia Process Visualization Environment
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
Naser S. Barghouti, Eleftherios Koutsofios, Edith ...
EMSOFT
2011
Springer
14 years 6 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
CIVR
2004
Springer
111views Image Analysis» more  CIVR 2004»
16 years 16 days ago
An Inference Network Approach to Image Retrieval
Most image retrieval systems only allow a fragment of text or an example image as a query. Most users have more complex information needs that are not easily expressed in either of...
Donald Metzler, R. Manmatha
SLP
1989
105views more  SLP 1989»
15 years 8 months ago
Automatic Ordering of Subgoals - A Machine Learning Approach
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...
Shaul Markovitch, Paul D. Scott
FUIN
2008
72views more  FUIN 2008»
15 years 7 months ago
Working with the Past: Integrating History in Petri Nets
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...