8109 search results - page 1064 / 1622 » A Model of Component-Based Programming |
173
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
180
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
172
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
191
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
163
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Online virtual laboratory is important for online science education. CyberLab is a toolkit for online virtual experiments. It is able to handle the creation, exportation, and exec...