10038 search results - page 313 / 2008 » Model Checking for Managers |
179
click to vote
ICESS
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
153
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...
175
click to vote
CGO
2005
IEEE
16 years 9 days ago
2005
IEEE
Modern embedded microprocessors use low power on-chip memories called scratch-pad memories to store frequently executed instructions and data. Unlike traditional caches, scratch-p...
199
Voted
AAAI
2012
13 years 9 months ago
2012
In conservation biology and natural resource management, adaptive management is an iterative process of improving management by reducing uncertainty via monitoring. Adaptive manag...
162
click to vote
EEE
2005
IEEE
16 years 9 days ago
2005
IEEE
With the advance of E-Commerce over Web-based information, the interoperability of isolated XML repositories and databases over the Internet has drawn an increasing interest recen...