2250 search results - page 110 / 450 » Interactive Explanation of Software Systems |
139
Voted
SACMAT
2006
ACM
15 years 8 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...
112
Voted
CAISE
2010
Springer
15 years 1 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 ...
144
Voted
CODES
2008
IEEE
15 years 9 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...
98
Voted
VC
2011
14 years 9 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...
122
Voted
LCTRTS
1998
Springer
15 years 7 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. ...