2470 search results - page 129 / 494 » Liveness-Preserving Simulation Relations |
99
Voted
COMCOM
2006
15 years 23 days ago
2006
This paper discusses issues of personalization of presence services in the context of Internet Telephony. Such services take into consideration the willingness and ability of a use...
132
click to vote
ISF
2008
15 years 22 days ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
96
Voted
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
90
Voted
CORR
2010
Springer
15 years 9 days ago
2010
Springer
The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on ...
101
Voted
BIBE
2009
IEEE
15 years 7 months ago
2009
IEEE
One of the essential components of a virtual reality surgical simulation is deformation. Deformations in computer graphics and surgical simulations are commonly modeled with three...