1312 search results - page 46 / 263 » Embedded contract languages |
161
click to vote
TAPSOFT
1991
Springer
15 years 9 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
163
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
147
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
169
click to vote
AMET
1998
Springer
15 years 10 months ago
1998
Springer
We present a simple and uniform communication framework for an agent-based market infrastructure, the goal of which is to enable automation of consumer goods markets distributed ov...
144
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...