4212 search results - page 349 / 843 » Rights Expression Languages |
159
click to vote
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. The hiding of internal invariants creates a mismatch between procedure specifications in an interface and proof obligations on the implementations of those procedures. T...
179
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. UML class diagrams can be used as a language for expressing a conceptual model of a domain. We use the General Ontological Language (GOL) and its underlying upper level o...
164
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, relatively little work has been done for the cases where the ...
197
click to vote
IWOMP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...
199
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...