10038 search results - page 1664 / 2008 » Model Checking for Managers |
215
click to vote
ECOWS
2007
Springer
16 years 24 days ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
174
click to vote
EEMMAS
2007
Springer
16 years 24 days ago
2007
Springer
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...
200
click to vote
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
Privacy is considered critical for all organizations needing to manage individual related information. As such, there is an increasing need for access control models which can adeq...
166
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
216
click to vote
ICSOC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...