10038 search results - page 1895 / 2008 » Model Checking for Managers |
ISCI
2007
15 years 20 days ago
2007
: In our book to appear in print from Springer-Verlag GmbH, Simulating Continuous Fuzzy Systems, Buckley and Jowers, we use crisp continuous simulation under Matlab™/Simulink™ ...
101
click to vote
JAIR
2007
15 years 20 days ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...
122
click to vote
JCST
2007
15 years 19 days ago
2007
Abstract Advances in wireless sensor networks and positioning technologies enable new applications monitoring moving objects. Some of these applications, such as traffic managemen...
MANSCI
2007
15 years 19 days ago
2007
Postponement or delayed product differentiation has been identified as a key strategy to manage increasing demand uncertainty. The benefits of postponement arise out of the abil...
127
Voted
CONCURRENCY
2002
15 years 17 days ago
2002
Practical applications are generally interdisciplinary in nature. The technology is well matured for addressing individual discipline applications and not for interdisciplinary ap...