Sciweavers

1501 search results - page 77 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
AAAI
1998
15 years 5 months ago
Modeling Web Sources for Information Integration
The Web is based on a browsing paradigm that makes it di cult to retrieve and integrate data from multiple sites. Today, the only way to do this is to build specialized applicatio...
Craig A. Knoblock, Steven Minton, José Luis...
CSAC
2006
15 years 5 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
115
Voted
SP
2002
IEEE
103views Security Privacy» more  SP 2002»
15 years 3 months ago
Methods and Limitations of Security Policy Reconciliation
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
Patrick Drew McDaniel, Atul Prakash
118
Voted
WSC
1997
15 years 5 months ago
Design of Experiments for Fitting Subsystem Metamodels
For complex systems, traditional methods of experiencebased design are ineffective: the design task must be supported by simulations. Conceptual design and system-level detailed d...
Russell R. Barton
ECIS
2003
15 years 5 months ago
Towards an interdisciplinary theory of networks
Research problems in ICT networks often comprise coordination problems of information infrastructures and require state-of-the-art methods of coping with complex system dynamics. ...
Tim Weitzel, Oliver Wendt, Wolfgang König