10870 search results - page 1838 / 2174 » Model Checking Programs |
158
click to vote
MASCOTS
2001
15 years 8 months ago
2001
This paper presents a tool for MPLS network dimensioning that allows for multi-hour dimensioning of networks supporting simultaneously peer-to-peer and client-server services. The...
197
click to vote
SODA
2001
ACM
15 years 8 months ago
2001
ACM
Covering and packing integer programs model a large family of combinatorial optimization problems. The current-best approximation algorithms for these are an instance of the basic...
165
Voted
SERP
2004
15 years 8 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
186
click to vote
SERP
2004
15 years 8 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
178
click to vote
MMNS
2003
15 years 8 months ago
2003
In this paper we present a new tool called BeanWatcher that allows the semi-automatic generation of multimedia monitoring and management applications for wireless sensor networks. ...