1613 search results - page 235 / 323 » Model-Driven Constraint Engineering |
121
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
The class of wireless and mobile networks features a dissimilar set of characteristics and constraints compared to traditional fixed networks. The various dimensions of these char...
143
click to vote
DICS
2006
15 years 7 months ago
2006
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...
140
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
118
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
134
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...