10038 search results - page 561 / 2008 » Model Checking for Managers |
145
click to vote
MOBIS
2008
15 years 8 months ago
2008
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...
192
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Emerging network applications tend to be built over heterogeneous network resources spanning multiple management domains. Many such applications have dynamic demands for dedica...
194
click to vote
CAISE
2004
Springer
16 years 18 days ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
233
click to vote
WOTUG
2007
15 years 8 months ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
201
click to vote
MOBICOM
2010
ACM
15 years 7 months ago
2010
ACM
In 802.11 managed wireless networks, the manager can address under-served links by rate-limiting the conflicting nodes. In order to determine to what extent each conflicting node ...