10038 search results - page 1493 / 2008 » Model Checking for Managers |
154
click to vote
ICEIS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper reports on the development of an innovative agent-mediated electronic marketplace, which is able to efficiently handle transportation transactions of various types. Soft...
211
click to vote
ISCC
2003
IEEE
16 years 4 days ago
2003
IEEE
Sensor networks have recently gained a lot of attention from the research community. Sensors are significantly resource-constrained devices and last till the depletion of their ba...
148
click to vote
DOLAP
2003
ACM
16 years 3 days ago
2003
ACM
In the last years, lots of work have been devoted to multidimensional modeling, star shape schemas and OLAP operations. However, “drill-across” has not captured as much attent...
184
click to vote
IMC
2003
ACM
16 years 3 days ago
2003
ACM
This paper describes a measurement infrastructure used to collect detailed IP traffic measurements from an IP backbone. Usage, i.e, bytes transmitted, is determined from raw NetF...
190
click to vote
SC
2003
ACM
16 years 3 days ago
2003
ACM
Computational grids hold great promise in utilizing geographically separated heterogeneous resources to solve large-scale complex scientific problems. However, a number of major ...