5326 search results - page 97 / 1066 » On what we can ensure |
150
click to vote
IIE
2007
15 years 6 months ago
2007
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
181
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
141
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
151
click to vote
ICALP
2009
Springer
16 years 6 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-...
150
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
A force display system is a kind of these robot systems, which share pepole with the space while they are working, and which directly touch and display force-sences to their users...