366 search results - page 42 / 74 » On Defining Computer Science Terminology |
TCC
2009
Springer
14 years 9 months ago
2009
Springer
Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfus...
ICALP
2009
Springer
14 years 9 months ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
ASSETS
2000
ACM
14 years 1 months ago
2000
ACM
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the progr...
FM
1994
Springer
14 years 23 days ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...