6025 search results - page 841 / 1205 » Flexibility in Service Processes |
205
Voted
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
174
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
201
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within...
176
click to vote
EUROITV
2008
Springer
15 years 8 months ago
2008
Springer
The proliferation of audiovisual content available for young children brings with it the need for an appropriate Electronic Programme Guide (EPG) that meets needs and preferences o...
139
click to vote
SWAP
2008
15 years 8 months ago
2008
Abstract. Quality of service (QoS) and citizens satisfaction are primary objectives for any eGovernment project. Quality can be inspected directly through measurements of specific ...