26151 search results - page 170 / 5231 » Parameterized system design |
176
click to vote
ACSC
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
157
click to vote
MIR
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present and discuss the system we developed for the search task of the TRECVID 2002, and its evaluation in an interactive search task. To do this we will look at ...
181
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...
132
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— This paper studies the event design in eventtriggered feedback systems with asymptotic stability. A new event-triggering scheme is presented that may postpone the occur...
159
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a framework that will enable scalable analysis and design of graceful degradation in distributed embedded systems. We define graceful degradation in terms of utility. A...