3765 search results - page 326 / 753 » Formal Methods for Systems Engineering Behavior Models |
153
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
186
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
241
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
191
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
191
click to vote
KCAP
2005
ACM
16 years 9 days ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...