10159 search results - page 471 / 2032 » System Design Validation Using Formal Models |
154
click to vote
FORMATS
2005
Springer
15 years 10 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
128
click to vote
EATIS
2007
ACM
15 years 8 months ago
2007
ACM
MDIRS is methodology to define the actors and the steps to build efficiently information retrieval (IR) System. MDRIS main mission is to analyze, develop and evaluate mechanisms s...
168
click to vote
ECWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
136
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to auto...
123
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...