1312 search results - page 87 / 263 » Formally Optimal Boxing |
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
DAGM
2001
Springer
14 years 1 months ago
2001
Springer
In this paper we introduce a formalism for optimal camera parameter selection for iterative state estimation. We consider a framework based on Shannon’s information theory and se...
SCCC
1998
IEEE
14 years 1 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
GLOBECOM
2009
IEEE
14 years 1 months ago
2009
IEEE
Underwater communication is a challenging topic due to its singular channel characteristics. Most protocols used in terrestrial wireless communication can not be directly applied i...
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...