10038 search results - page 545 / 2008 » Model Checking for Managers |
171
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Human interaction depends on several individual factors such as personality, social relations, age or gender. But also the society we live in influences our behaviour. Thus cultur...
191
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
In software product line (SPL) development, evolutions occur in core assets and application products. How to ensure their alignment in evolution is a big challenge. Products in an...
205
click to vote
IPPS
2005
IEEE
16 years 23 days ago
2005
IEEE
Scalability refers to the extent of configuration modifications over which a system continues to be economically deployable. Until now, scalability of resource management system...
223
click to vote
EKAW
2004
Springer
16 years 17 days ago
2004
Springer
Abstract In this paper we describe a general logic-enabled Formal Concept Analysis (FCA) approach to manage patient record instances. In particular, the conceptual model of the dom...
179
click to vote
GCC
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we propose an active grid resource management system supported by active networks for computational grid. First, we construct a scalable two-level resource managemen...