1781 search results - page 123 / 357 » Visualizing program execution using user abstractions |
105
click to vote
ICSEA
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
108
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
100
click to vote
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
151
click to vote
SG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
116
Voted
JIPS
2006
15 years 2 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...