3872 search results - page 366 / 775 » The Java memory model |
137
Voted
ICOST
2007
Springer
15 years 10 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
134
click to vote
ISAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
155
click to vote
TGC
2005
Springer
15 years 10 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
120
Voted
GI
2004
Springer
15 years 10 months ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
144
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...