238 search results - page 25 / 48 » Conflicts and Fair Testing |
IPCCC
2005
IEEE
14 years 2 months ago
2005
IEEE
A number of science applications employing collaborative computations require transport methods that guarantee end-to-end performance at the application level. Throughputs achieve...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
ENTER
2006
Springer
14 years 10 days ago
2006
Springer
A cultural institution such as a museum needs to attract visitors. Due to the fact that Internet has become an important information and marketing channel, the question of using a...
INFOCOM
1995
IEEE
14 years 6 days ago
1995
IEEE
— We consider a multiuser network that is shared by noncooperative users. Each user sets up virtual paths that optimize its own selfish performance measure. This measure account...
AAAI
2004
13 years 10 months ago
2004
We introduce mCP nets, an extension of the CP net formalism to model and handle the qualitative and conditional preferences of multiple agents. We give a number of different seman...