10038 search results - page 370 / 2008 » Model Checking for Managers |
180
click to vote
HICSS
2005
IEEE
16 years 12 days ago
2005
IEEE
In this study, we suggest an enterprise architecture (EA) development process model suitable for EA projects limited in scope and time. Several EA process models have been put for...
166
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Scalability is a real challenge for network management due to the increase of the devices to be managed and their various locations. A potential solution is based on bot...
151
Voted
OOIS
1997
Springer
15 years 11 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
167
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
This paper presents a portable, efficient method for accessing memory resident persistent objects in virtual memory in the context of the E programming language. Under the approac...
183
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...