3754 search results - page 523 / 751 » Process modeling paradigms: an evaluation |
172
click to vote
GLOBECOM
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— This paper presents scheduling strategies for sensing workload in wireless sensor networks using Divisible Load Theory (DLT), which offers a tractable model and realist...
170
click to vote
IEEEARES
2007
IEEE
16 years 14 days ago
2007
IEEE
The importance of critical systems has been widely recognized and several efforts are devoted to integrate dependability requirements in their development process. Such efforts re...
139
click to vote
MONTEREY
2007
Springer
16 years 9 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
149
click to vote
ICCD
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this work we investigate the buffer insertion problem under process variations. Sub 100-nm fabrication process causes significant variations on many design parameters. We p...
184
click to vote
DAGM
2005
Springer
15 years 11 months ago
2005
Springer
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...