979 search results - page 153 / 196 » Presentations for Abstract Context Institutions |
CONCUR
2008
Springer
15 years 27 days ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
EUC
2007
Springer
15 years 26 days ago
2007
Springer
Abstract. Location is the most essential presence information for mobile users. In this paper, we present an improved time-based clustering technique for extracting significant lo...
105
click to vote
DSVIS
2008
Springer
15 years 26 days ago
2008
Springer
The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
ESWS
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. In the e-Science context, workflow technologies provide a problemsolving environment for researchers by facilitating the creation and execution of experiments from a pool...
ESWS
2008
Springer
15 years 26 days ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...