2558 search results - page 412 / 512 » Model Composition Contracts |
143
click to vote
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
132
Voted
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
141
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
157
click to vote
OTM
2004
Springer
15 years 9 months ago
2004
Springer
Peer-to-peer networks and grids offer promising paradigms for developing efficient distributed systems and applications. Event-based middleware is becoming a core architectural el...
155
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...