180 search results - page 19 / 36 » How to Make Software Softer - Designing Tailorable Applicati... |
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
The main challenge of dynamic analysis is the huge volume of data, making it difficult to extract high level views. Most techniques developed so far adopt a finegrained approach ...
TAPSOFT
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
—Application of runtime monitoring to maintain the health of an embedded real-time software system requires that anomalous behavior be detected within a bounded time while preser...
UIST
2010
ACM
13 years 5 months ago
2010
ACM
We describe Chronicle, a new system that allows users to explore document workflow histories. Chronicle captures the entire video history of a graphical document, and provides lin...