1161 search results - page 70 / 233 » Resource Modeling for Timed Creol Models |
125
click to vote
IJCAI
1993
15 years 4 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
140
Voted
SSDBM
2005
IEEE
15 years 9 months ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
152
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
118
Voted
NSDI
2008
15 years 5 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
102
Voted
WSC
1997
15 years 4 months ago
1997
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...