4636 search results - page 507 / 928 » Modelling and Validation with VipTool |
180
click to vote
DAC
1999
ACM
16 years 8 months ago
1999
ACM
Many embedded systems are implemented with a set of alternative function variants to adapt the system to different applications or environments. This paper proposes a novel approa...
141
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
We present a novel multi-scale bone enhancement measure that can be used to drive a geometric flow to segment bone structures. This measure has the essential properties to be incor...
185
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
193
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
The use of context as an input is one of the major characteristics of Ubiquitous Computing systems. This paper looks into the structural and the systematic features of context in ...
185
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...