5015 search results - page 571 / 1003 » Model Checking a Path |
183
Voted
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
166
Voted
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
Volunteer Computing (VC) projects harness the power of computers owned by volunteers across the Internet to perform hundreds of thousands of independent jobs. In VC projects, the ...
176
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Active measurements on network paths provide endto-end network health status in terms of metrics such as bandwidth, delay, jitter and loss. Hence, they are increasingly ...
180
click to vote
DSD
2006
IEEE
16 years 28 days ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...
168
click to vote
HRI
2006
ACM
16 years 25 days ago
2006
ACM
Humanoid robots offer many physical design choices such as voice frequency and head dimensions. We used hierarchical statistical mediation analysis to trace differences in peopleâ...