1346 search results - page 162 / 270 » Alternating-time dynamic logic |
168
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
162
click to vote
OSDI
2006
ACM
16 years 5 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
152
Voted
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...
154
Voted
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
149
click to vote
ISQED
2003
IEEE
15 years 10 months ago
2003
IEEE
The amplitude of coupled noise is often used in estimating the crosstalk effect. Coupling noise-induced delay measures the impact of crosstalk on circuit performance. Efficient c...