1888 search results - page 235 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
165
click to vote
APLAS
2001
ACM
15 years 10 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...
164
click to vote
AIME
1995
Springer
15 years 10 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 ...
146
click to vote
MM
1997
ACM
15 years 10 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 ...
197
click to vote
SAMT
2007
Springer
16 years 16 days 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...
158
click to vote
WICSA
2008
15 years 7 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...