Sciweavers

2025 search results - page 201 / 405
» Minimal-Cut Model Composition
Sort
View
TGC
2005
Springer
15 years 10 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
15 years 9 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng
ICIW
2007
IEEE
15 years 8 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
EEE
2004
IEEE
15 years 8 months ago
Model-Driven Web Services Development
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
Roy Grønmo, David Skogan, Ida Solheim, Jon ...
COORDINATION
2008
Springer
15 years 6 months ago
An Event-Based Coordination Model for Context-Aware Applications
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
Angel Núñez, Jacques Noyé