1972 search results - page 171 / 395 » The Timed Asynchronous Distributed System Model |
149
click to vote
ICPPW
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
125
click to vote
UIST
2003
ACM
15 years 8 months ago
2003
ACM
Classroom BRIDGE supports activity awareness by facilitating planning and goal revision in collaborative, project-based middle school science. It integrates largescreen and deskto...
124
Voted
TSP
2010
14 years 9 months ago
2010
We formulate and study a decentralized multi-armed bandit (MAB) problem. There are distributed players competing for independent arms. Each arm, when played, offers i.i.d. reward a...
112
Voted
ICPADS
1998
IEEE
15 years 7 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...
134
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...