Sciweavers

6054 search results - page 885 / 1211
» Implementation of Andorra-based Languages
Sort
View
IFIP
2007
Springer
16 years 25 days ago
Securing Current and Future Process Control Systems
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
Robert K. Cunningham, Steven Cheung, Martin W. Fon...
POLICY
2007
Springer
16 years 24 days ago
Policy-Driven Negotiation for Authorization in the Grid
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
Ionut Constandache, Daniel Olmedilla, Frank Sieben...
PRIMA
2007
Springer
16 years 24 days ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida
SPIN
2007
Springer
16 years 24 days ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...
ESCIENCE
2006
IEEE
16 years 22 days ago
Adapting and Evaluating Commercial Workflow Engines for e-Science
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
Sharanya Eswaran, David Del Vecchio, Glenn S. Wass...