4890 search results - page 419 / 978 » From system specifications to component behavioral models |
168
click to vote
HICSS
2003
IEEE
16 years 11 days ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...
233
click to vote
AC
2005
Springer
15 years 7 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
204
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
127
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We present an initial investigation into the acoustic realisation of tone in continuous utterances in Sepedi (a language in the Southern Bantu family). An analytic model for the g...
292
click to vote
VLDB
2002
ACM
16 years 7 months ago
2002
ACM
Abstract. Several alternatives to manage large XML document collections exist, ranging from file systems over relational or other database systems to specifically tailored XML base...