4341 search results - page 684 / 869 » Quantitative Model checking |
219
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Data-intensive e-science applications often rely on third-party data found in public repositories, whose quality is largely unknown. Although scientists are aware that this uncert...
157
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
In particle filter?based visual trackers, dynamic velocity components are typically incorporated into the state update equations. In these cases, there is a risk that the uncertai...
192
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
161
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
If a mobile computing device knows how it is positioned and oriented in relation to other devices nearby, then it can provide enhanced support for multi-device and multi-user inte...
266
click to vote
ASC
2007
16 years 5 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...