32 search results - page 6 / 7 » A reduced yet extensible audio-visual description language |
POPL
2005
ACM
14 years 6 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
CLOUDCOM
2010
Springer
13 years 3 months ago
2010
Springer
The advancements in computing have resulted in a boom of cheap, ubiquitous, connected mobile devices as well as seemingly unlimited, utility style, pay as you go computing resourc...
LFCS
2009
Springer
14 years 24 days ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
UML
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
DEBU
1999
13 years 5 months ago
1999
This paper is a July 1999 snapshot of a "whitepaper" that I've been working on. The purpose of the whitepaper, which I initially drafted in April 1999, was to formu...