Sciweavers

4286 search results - page 184 / 858
» Formalizing Service Interactions
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ICASSP
2011
IEEE
14 years 10 months ago
Vulnerability of insens to denial of service attacks
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...
Kashif Saghar, David Kendall, Ahmed Bouridane
EGOV
2007
Springer
16 years 16 days ago
An Ontology for the Multi-perspective Evaluation of Quality in E-Government Services
This paper presents a quality ontology that formalizes all the needed knowledge for the realization of a multi-perspective and adaptive evaluation of e-government services. Differe...
Babis Magoutas, Christos Halaris, Gregoris Mentzas
TAICPART
2006
IEEE
170views Education» more  TAICPART 2006»
16 years 11 days ago
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
José García-Fanjul, Claudio de la Ri...
GI
2001
Springer
15 years 11 months ago
Cost and Quality-of-Service-aware Network Service Deployment
Abstract: This paper presents the information aggregation methods enabling cost- and QoS-aware service deployment. It is expected that network management tools will require the net...
Robert Haas, Patrick Droz, Burkhard Stiller