500 search results - page 21 / 100 » Thread-Modular Abstraction Refinement |
FMCO
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
98
Voted
ISF
2007
14 years 9 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
ATVA
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
83
Voted
ICLP
1998
Springer
15 years 1 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
SIGGRAPH
1990
ACM
15 years 1 months ago
1990
ACM
Numbers: AbstractImageRepresentations Paul Haeberli Silicon Graphics Computer Systems Computer graphics research has concentrated on creating photo-realistic images of synthetic o...