10038 search results - page 1855 / 2008 » Model Checking for Managers |
132
Voted
ENTCS
2006
15 years 4 months ago
2006
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
138
Voted
IJMMS
2008
15 years 4 months ago
2008
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
146
click to vote
ISEM
2008
15 years 4 months ago
2008
Advanced mobile technology continues to shape professional environments. Smart cell phones, pocket computers and laptop computers reduce the need of users to remain close to a wir...
162
click to vote
COMPLEXITY
2007
15 years 4 months ago
2007
: Conflict is a dynamic and complex form of human interaction, often emerging from incompatible actions, values and goals, and consuming a considerable amount of resources. Conflic...
133
click to vote
IJSNET
2006
15 years 4 months ago
2006
Abstract: This paper addresses the target coverage problem in wireless sensor networks with adjustable sensing range. Communication and sensing consume energy, therefore efficient ...