4476 search results - page 674 / 896 » Modeling software architectures in the Unified Modeling Lang... |
158
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
146
click to vote
IEEESP
2006
15 years 6 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
174
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
This paper describes an implemented robotic agent architecture in which the environment, as sensed by the agent, is used to guide the recognition of spoken and gestural directives...
167
click to vote
CSC
2007
15 years 8 months ago
2007
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
192
click to vote
IM
1997
15 years 8 months ago
1997
In this paper, we will introduce two different three dimensional VR-based user interface for telecommunication network management. The first one is an immersive system, using HMD ...