17082 search results - page 3242 / 3417 » Abstractions for Mobile Computation |
163
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
161
click to vote
COCOON
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Phylogenetic reconstruction from gene-rearrangement data is attracting increasing attention from biologists and computer scientists. Methods used in reconstruction includ...
181
click to vote
DRM
2005
Springer
16 years 3 days ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
135
click to vote
GI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract: Oft liegt ein Musikst¨uck sowohl als Partitur als auch in Form unterschiedlicher Audioaufnahmen vor. In diesem Beitrag beschreiben wir ein Synchronisationsverfahren, das...
195
click to vote
GI
2005
Springer
16 years 3 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...