1888 search results - page 235 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
click to vote
APLAS
2001
ACM
15 years 8 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
138
click to vote
AIME
1995
Springer
15 years 8 months ago
1995
Springer
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
122
click to vote
MM
1997
ACM
15 years 8 months ago
1997
ACM
We present the design and implementation of a new programming language for media-intensive applications called Flavor (Formal Language for Audio-Visual Object Representation). It ...
168
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...
129
click to vote
WICSA
2008
15 years 5 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...