5451 search results - page 711 / 1091 » Typed Operational Semantics |
190
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
192
click to vote
VR
2008
IEEE
15 years 6 months ago
2008
IEEE
Feedback force is very important for novices to simulate tooth preparation by using the haptic interaction system (dental training system) in a virtual environment. In the process ...
189
click to vote
APIN
2000
15 years 6 months ago
2000
Genetic algorithms are adaptive methods based on natural evolution that may be used for search and optimization problems. They process a population of search space solutions with t...
194
click to vote
CCS
2004
ACM
16 years 2 days ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
190
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...