804 search results - page 47 / 161 » Specification and Analysis of Network Resource Requirements ... |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
IHI
2010
13 years 3 months ago
2010
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
MOBIHOC
2006
ACM
14 years 8 months ago
2006
ACM
To date, topology control in wireless ad hoc and sensor networks--the study of how to compute from the given communication network a subgraph with certain beneficial properties--h...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper addresses when and how to adjust bandwidth allocations between uplink and downlink in a multi-service wireless network with bandwidth asymmetry under dynamic...