10038 search results - page 1592 / 2008 » Model Checking for Managers |
148
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
178
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— The task scheduler of an energy harvesting wireless sensor node (WSN) must adapt the task complexity and maximize the accuracy of the tasks within the constraint of limited ene...
169
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—In conventional static implementations for correlated streaming applications, computing resources may be inefficiently utilized since multiple stream processors may sup...
186
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
185
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
: The way address sequences and data patterns appear on the outside of a memory may differ from their internal appearance; this effect is referred to as scrambling, which has a lar...