1173 search results - page 101 / 235 » On the Compositionality of Round Abstraction |
119
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
57
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
SAMT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—This paper presents an annotation tool for the manual and region-based annotation of still images. The selection of regions is achieved by navigating through a Partition...
87
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
111
Voted
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...