Sciweavers

80 search results - page 13 / 16
» Flow-sensitive semantics for dynamic information flow polici...
Sort
View
SEMWEB
2004
Springer
15 years 5 months ago
Trust Negotiation for Semantic Web Services
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
Daniel Olmedilla, Rubén Lara, Axel Polleres...
113
Voted
SAC
2008
ACM
14 years 10 months ago
Enhancing web service selection by QoS-based ontology and WS-policy
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
Sodki Chaari, Youakim Badr, Frédériq...
DLS
2009
196views Languages» more  DLS 2009»
14 years 9 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
IEEEARES
2007
IEEE
15 years 6 months ago
Formalising Dynamic Trust Negotiations in Decentralised Collaborative e-Health Systems
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...
Oluwafemi Ajayi, Richard O. Sinnott, Anthony Stell
94
Voted
EMSOFT
2006
Springer
15 years 3 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...