461 search results - page 44 / 93 » Bounds for Validation |
GLOBECOM
2006
IEEE
14 years 5 months ago
2006
IEEE
— We consider a set of computer resources used by a service provider to host enterprise applications subject to service level agreements. We present an approach for resource opti...
VALUETOOLS
2006
ACM
14 years 4 months ago
2006
ACM
— Considered is a mobile ad hoc network consisting of three types of nodes (source, destination and relay nodes) and using the two-hop relay routing protocol. Packets at relay no...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
COMPGEOM
2004
ACM
14 years 4 months ago
2004
ACM
We present an algorithm to compute a Delaunay mesh conforming to a polyhedron possibly with small input angles. The radius-edge ratio of most output tetrahedra are bounded by a co...
LCTRTS
2004
Springer
14 years 4 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...