10038 search results - page 648 / 2008 » Model Checking for Managers |
202
click to vote
ATC
2009
Springer
15 years 10 months ago
2009
Springer
Currently, there is an increasing tendency to migrate the management of communications and information systems onto the Web. This is making many traditional service support models ...
229
click to vote
CAV
2004
Springer
16 years 25 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
213
Voted
CLEIEJ
2002
15 years 7 months ago
2002
This article describes the construction of a Knowledge Management System (KMS) by applying fundamental concepts and principles of Software Engineering, such as process, models, me...
202
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Business process management and systems have been proven mature and highly beneficial in many domains. Recent surveys by leading market analysts say that the next challenge for BPM...
174
Voted
JDCTA
2008
15 years 7 months ago
2008
For interoperation of heterogeneous management systems and integration of existing legacy applications in telecommunication network management systems, a translation from GDMO/ASN...