12981 search results - page 621 / 2597 » Model Checking (Abstract) |
190
Voted
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
230
click to vote
ASWC
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
154
click to vote
CSL
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
200
Voted
DAGSTUHL
2007
15 years 9 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
195
click to vote
EUMAS
2006
15 years 9 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...