10038 search results - page 272 / 2008 » Model Checking for Managers |
175
click to vote
IPSN
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a sentry-based approach to power management in wireless sensor networks for applications such as intruder detection and tracking. To minimize average power cons...
158
click to vote
IEAAIE
2007
Springer
16 years 23 days ago
2007
Springer
Recently, mobile devices are regarded as a content storage with their functions such as camera, camcorder, and music player. It creates massive new data and downloads contents from...
153
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
197
click to vote
JIB
2007
15 years 6 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
218
click to vote
IS
2012
14 years 2 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...