2250 search results - page 110 / 450 » Interactive Explanation of Software Systems |
SACMAT
2006
ACM
14 years 4 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
CAISE
2010
Springer
13 years 9 months ago
2010
Springer
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
CODES
2008
IEEE
14 years 4 months ago
2008
IEEE
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation alg...
VC
2011
13 years 5 months ago
2011
Abstract In this paper, we present CollaBoard, a collaboration system that gives a higher feeling of presence to the local auditory and to the persons on the remote site. By overla...
LCTRTS
1998
Springer
14 years 2 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...