1126 search results - page 89 / 226 » Modularity and the Rule of Adaptation |
141
click to vote
COST
2007
Springer
15 years 10 months ago
2007
Springer
An articulatory speech synthesizer comprising a three-dimensional vocal tract model and a gesture-based concept for control of articulatory movements is introduced and discussed in...
134
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
135
click to vote
SAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
140
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
146
Voted
CSL
2001
Springer
15 years 8 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...