5525 search results - page 398 / 1105 » Verification of Model Transformations |
151
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
210
click to vote
ESOP
2005
Springer
16 years 13 days ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
196
click to vote
SI3D
2003
ACM
16 years 5 days ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
178
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
170
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...