Sciweavers

4469 search results - page 184 / 894
» A Language for Role Specifications
Sort
View
BIRTHDAY
2010
Springer
15 years 6 months ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink
CLEIEJ
2002
192views more  CLEIEJ 2002»
15 years 6 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
JOT
2007
131views more  JOT 2007»
15 years 6 months ago
Quality of Service Contract Specification, Establishment, and Monitoring for Service Level Management
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
Changzhou Wang, Haiqin Wang, Alice Chen, Rodolfo A...
TCS
2002
15 years 6 months ago
Specification of real-time and hybrid systems in rewriting logic
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
Peter Csaba Ölveczky, José Meseguer
ATAL
2003
Springer
15 years 11 months ago
Role-assignment in open agent societies
Open systems are characterized by heterogeneous participants which can enter or leave the system at will. Typical examples are e-commerce applications or information agent systems...
Mehdi Dastani, Virginia Dignum, Frank Dignum