Sciweavers

2877 search results - page 462 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
ISSRE
2010
IEEE
13 years 7 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...
ACRI
2006
Springer
14 years 3 months ago
On Spiral Glider-Guns in Hexagonal Cellular Automata: Activator-Inhibitor Paradigm
We present a cellular-automaton model of a reaction-diffusion excitable system with concentration dependent inhibition of the activator, and study the dynamics of mobile localiza...
Andrew Wuensche
EDBTW
2006
Springer
14 years 20 days ago
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Shawn Bowers, Bertram Ludäscher
VLDB
1995
ACM
214views Database» more  VLDB 1995»
14 years 16 days ago
Dynamic Multi-Resource Load Balancing in Parallel Database Systems
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
Erhard Rahm, Robert Marek
FLAIRS
2006
13 years 10 months ago
Towards an Ontology-Driven Approach for the Interoperability Problem in Security Compliance
In today's IT-centric, regulated and competitive environment, businesses rely more heavily on IT technologies. Organizations are often challenged by customers, business partn...
Alfred Ka Yiu Wong, Nandan Paramesh, Pradeep Kumar...