3564 search results - page 274 / 713 » Evaluating a Formal Modelling Language |
180
click to vote
SOCIALCOM
2010
15 years 3 months ago
2010
Service composition is a new paradigm for efficient and cost-effective IT service provisioning over the network. To safely and effectively deploy composed services within an organi...
255
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
157
click to vote
IJSWIS
2007
15 years 5 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...
165
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
195
click to vote
POPL
2009
ACM
15 years 12 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...