10038 search results - page 634 / 2008 » Model Checking for Managers |
183
click to vote
JCIT
2007
15 years 7 months ago
2007
Many project managers of a large scale project shortened delivery period of his or her projects unwillingly by the request of clients. However, some of them believe there is no dif...
279
Voted
GRID
2010
Springer
15 years 4 months ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...
225
click to vote
ISCA
2011
IEEE
14 years 11 months ago
2011
IEEE
Much of the success of the Internet services model can be attributed to the popularity of a class of workloads that we call Online Data-Intensive (OLDI) services. These workloads ...
202
click to vote
RTAS
2009
IEEE
16 years 2 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
226
click to vote
ICONS
2009
IEEE
16 years 2 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...