723 search results - page 29 / 145 » Exclusion for composite objects |
TC
1998
13 years 10 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
ICWE
2004
Springer
14 years 4 months ago
2004
Springer
This paper describes the personalisation services designed for self e-learning networks in the SeLeNe project. A self e-learning network consists of web-based learning objects that...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
CubeBrowser is the concept study for a six-display cube with digital screens that makes it possible to browse online databases like flickr. The control of navigation is exclusivel...
ICONIP
2008
14 years 12 days ago
2008
In this paper we present a comparison of multiple cluster algorithms and their suitability for clustering text data. The clustering is based on similarities only, employing the Kol...
FASE
2010
Springer
14 years 5 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...