10038 search results - page 1907 / 2008 » Model Checking for Managers |
94
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...
112
click to vote
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
We consider the problem of Semi-supervised Learning (SSL) from general unlabeled data, which may contain irrelevant samples. Within the binary setting, our model manages to better...
108
Voted
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
111
click to vote
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
127
click to vote
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...