Sciweavers

1775 search results - page 209 / 355
» Antichains on Three Levels
Sort
View
114
Voted
CGI
2006
IEEE
15 years 7 months ago
Quasi-physical Simulation of Large-Scale Dynamic Forest Scenes
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
Long Zhang, Chengfang Song, Qifeng Tan, Wei Chen, ...
DSN
2006
IEEE
15 years 7 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
EDOC
2006
IEEE
15 years 7 months ago
Structural Patterns for Soundness of Business Process Models
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
Boudewijn F. van Dongen, Jan Mendling, Wil M. P. v...
90
Voted
ESCIENCE
2006
IEEE
15 years 7 months ago
Provisioning and Scheduling Resources for World-Wide Data-Sharing Services
Grid computing is becoming the natural way to aggregate and share large and heterogeneous sets of resources. However, grid development and acceptance hinge on proving that grids r...
Alexandru Iosup, Pawel Garbacki, Dick H. J. Epema
GLOBECOM
2006
IEEE
15 years 7 months ago
Topology Control for Simple Mobile Networks
— Topology control is the problem of assigning power levels to the nodes of an ad hoc network so as to create a specified network topology while minimizing the energy consumptio...
Liang Zhao, Errol L. Lloyd, S. S. Ravi