5019 search results - page 923 / 1004 » Computing in Quotient Groups |
131
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
133
click to vote
ICPP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates the power mode management problem for an IEEE 802.11-based mobile ad hoc network (MANET) that allows mobile hosts to tune to the power-saving (PS) mode. The...
117
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The key difficulty is that the agents may report their preferences insincerely to m...
129
click to vote
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
Traumatic brain injuries (TBIs) typically result from accidents in which the head strikes an object. Among all traumatic causes of death, the TBI is the most serious one. Moreover,...
144
click to vote
CCGRID
2002
IEEE
15 years 9 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...