1366 search results - page 195 / 274 » Modularizing Contexted Constraints |
137
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
According to the theory of Network Calculus based on the (min,+) algebra, analysis and measure of worst-case performance in communication networks can be made easily. In this conte...
129
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
116
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
144
click to vote
IAT
2010
IEEE
15 years 1 months ago
2010
IEEE
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
148
click to vote
REALWSN
2010
15 years 1 months ago
2010
We study the characteristics of the communication links of a wireless sensor network in a tropical cloud forest in Ecuador, in the context of a wildlife monitoring application. Thi...