10038 search results - page 1733 / 2008 » Model Checking for Managers |
163
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
196
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
174
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
175
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
172
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
The probabilistic threshold query (PTQ) is one of the most common queries in uncertain databases, where all results satisfying the query with probabilities that meet the threshold...