10575 search results - page 1815 / 2115 » T2Script Programming Language |
119
click to vote
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....
112
click to vote
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
155
click to vote
BIRTHDAY
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
148
click to vote
COORDINATION
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
134
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...