4150 search results - page 222 / 830 » A Practical Approach to Model Extension |
132
click to vote
FSKD
2006
Springer
15 years 8 months ago
2006
Springer
Information security evaluation of software-intensive systems typically relies heavily on the experience of the security professionals. Obviously, automated approaches are needed ...
148
click to vote
ROBOCUP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
126
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
137
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Distributed constraint optimization (DCOP) provides a framework for coordinated decision making by a team of agents. Often, during the decision making, capacity constraints on age...
165
click to vote
HICSS
2012
IEEE
13 years 12 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...