10038 search results - page 665 / 2008 » Model Checking for Managers |
234
click to vote
IDTRUST
2009
ACM
16 years 2 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
186
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we address one of the Wireless Sensor Network (WSN) management problems – optimization on the execution of multiple commands. The objective of the paper is to pro...
238
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we propose event-driven power management techniques for wireless sensor networks. To accomplish this we model a sensor network application as a set of application-spe...
200
click to vote
ICADL
2007
Springer
16 years 1 months ago
2007
Springer
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
260
click to vote
CIMCA
2006
IEEE
16 years 1 months ago
2006
IEEE
Business Process Management (BPM) is often a key component of the business change. Business rules, whether embedded within BPM or on their own, have begun playing an ever-increasi...