10038 search results - page 533 / 2008 » Model Checking for Managers |
179
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...
187
click to vote
MONET
2010
15 years 5 months ago
2010
This paper specifies a global mobility management architecture and protocol procedure called GPMIP, which is based on Proxy Mobile IPv6. In GPMIP, mobility management is performed ...
211
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Managing demand for electrical energy allows generation facilities to be run more efficiently. Current systems allow for management between large industrial consumers. There is, ...
207
Voted
WOSP
2005
ACM
16 years 20 days ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
197
click to vote
AAMAS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...