10038 search results - page 1869 / 2008 » Model Checking for Managers |
151
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...
119
click to vote
SCHEDULING
2010
15 years 2 months ago
2010
Lean Manufacturing often simply referred to as Lean is a process management philosophy that aims to improve the way in which products are manufactured. It does this through ide...
229
Voted
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
— Many open source software (OSS) development projects use tools and models that come from heterogeneous sources. A project manager, who wants to analyze indicators for the state...
139
click to vote
SOCO
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In the context of Services Oriented Architecture (Soa), complex systems are realized through the design of business–driven processes. Since the design of a complete pro...
149
Voted
SUTC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—As the number of wireless sensor network applications continues to grow, the need for specialized task scheduling mechanisms, aware of the sensor devices’ capabilities...