Sciweavers

2212 search results - page 297 / 443
» Approaches to Hospital Process Management
Sort
View
GRID
2004
Springer
16 years 11 days ago
High-Level Grid Application Environment to Use Legacy Codes as OGSA Grid Services
One of the biggest obstacles in the wide-spread industrial take-up of Grid technology is the existence of a large amount of legacy code that is not accessible as Grid services. Th...
Péter Kacsuk, Ariel Goyeneche, Thierry Dela...
COOPIS
2003
IEEE
16 years 9 days ago
Learning to Invoke Web Forms
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
Nicholas Kushmerick
DISCEX
2003
IEEE
16 years 8 days ago
Modeling Multistep Cyber Attacks for Scenario Recognition
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
Steven Cheung, Ulf Lindqvist, Martin W. Fong
182
Voted
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
16 years 8 days ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
DEXA
2003
Springer
117views Database» more  DEXA 2003»
16 years 6 days ago
A Toolkit and Methodology to Support the Collaborative Development and Reuse of Engineering Models
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
Zdenek Zdráhal, Paul Mulholland, Michael Va...