6308 search results - page 209 / 1262 » Modeling Urgency in Timed Systems |
162
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Multi-hop relaying has attracted considerable attention recently as a key technique for improving cell coverage and throughput in wireless communication. We modelled va...
143
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
All security services rely to a great extent on some notion of trust. However, even today, there is no accepted formalism or technique for the specification of trust and for reaso...
131
click to vote
AUIC
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
124
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
115
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...