902 search results - page 141 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
119
Voted
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
122
click to vote
VIS
2004
IEEE
16 years 1 months ago
2004
IEEE
Coronary heart disease (CHD) is the number one killer in the United States. Although it is well known that CHD mainly occurs due to blocked arteries, there are contradictory resul...
116
Voted
ENTCS
2008
15 years 18 days ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
97
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
121
Voted
SIGMOD
2010
ACM
15 years 22 days ago
2010
ACM
Radio Frequency Identification (RFID) technologies are used in many applications for data collection. However, raw RFID readings are usually of low quality and may contain many an...