1161 search results - page 50 / 233 » Resource Modeling for Timed Creol Models |
142
click to vote
JPDC
2006
15 years 3 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
128
click to vote
TON
2002
15 years 2 months ago
2002
The notion of timeout (namely, the maximal time to wait before retrying an action) turns up in many networking contexts, such as packet transmission, connection establishment, etc....
150
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Acoustic event detection (AED) aims to identify both timestamps and types of multiple events and has been found to be very challenging. The cues for these events often times exist...
232
click to vote
MICROMACHINES
2011
14 years 9 months ago
2011
: A wealth of current research in microengineering aims at fabricating devices of increasing complexity, notably by (self-)assembling elementary components into heterogeneous funct...
162
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...