2586 search results - page 396 / 518 » Automatic Abstraction for Congruences |
156
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
182
click to vote
CIG
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...
150
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
170
click to vote
FQAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Internet has instigated a critical need for automated tools that facilitate integrating countless databases. Since non-technical end users are often the ultimate repo...
162
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Two styles of definitions are usually considered to express that a security protocol preserves the confidentiality of a data s. Reachability-based secrecy means that s sh...