10038 search results - page 285 / 2008 » Model Checking for Managers |
170
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
: This paper sketches an approach to designing organization-specific information models for Enterprise Architecture (EA) Management based on patterns. Thus we intend to support th...
169
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes research to enhance the integration between digital models and the services provided by the document management systems of digital libraries. Processing techn...
199
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
214
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
165
click to vote
NOMS
2002
IEEE
15 years 11 months ago
2002
IEEE
Embedded Web servers are widely used today for IP-based element management. In this paper, we present a new management architecture that combines this technology with XML, DOM, an...