Sciweavers

1288 search results - page 5 / 258
» On Analysis of Design Component Contracts: A Case Study
Sort
View
HICSS
2008
IEEE
192views Biometrics» more  HICSS 2008»
14 years 1 months ago
Agent-Based Electricity Balancing with Distributed Energy Resources, A Multiperspective Case Study
Abstract— Distributed generation (DG) of electricity is providing an increasing part of the worldwide electricity supply. At the same time, there is a big potential of demand res...
Koen Kok, Zsófia Derzsi, Jaap Gordijn, Maar...
DATESO
2004
92views Database» more  DATESO 2004»
13 years 8 months ago
Querying the RDF: Small Case Study in the Bicycle Sale Domain
We examine the suitability of RDF, RDF Schema (as simple ontology language), and RDF repository Sesame, for providing the backend to a prospective domain-specific web search tool, ...
Ondrej Sváb, Vojtech Svátek, Martin ...
ATVA
2009
Springer
99views Hardware» more  ATVA 2009»
13 years 11 months ago
CLAN: A Tool for Contract Analysis and Conflict Discovery
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
FSEN
2009
Springer
13 years 11 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
ICTAC
2009
Springer
13 years 5 months ago
Automatic Conflict Detection on Contracts
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider