15792 search results - page 2761 / 3159 » Computational Abstraction Steps |
202
click to vote
TACAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
191
click to vote
UCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
155
click to vote
WISA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Encapsulating messages in onions is one of the major techniques providing anonymous communication in computer networks. To some extent, it provides security against trafï...
169
click to vote
WWIC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
182
click to vote
ICDS
2010
IEEE
16 years 5 days ago
2010
IEEE
Abstract—Recently, two complementary approaches are proposed to represent, model and analyze laws: the Nomos and VLPM approaches. Nomos is a goal-oriented approach to effectively...