3765 search results - page 188 / 753 » Formal Methods for Systems Engineering Behavior Models |
173
click to vote
SIGIR
2006
ACM
16 years 15 days ago
2006
ACM
Evaluating user preferences of web search results is crucial for search engine development, deployment, and maintenance. We present a real-world study of modeling the behavior of ...
160
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
170
click to vote
IEE
2007
15 years 6 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
184
click to vote
CACM
2006
15 years 6 months ago
2006
: Computer scientists work with formal models of algorithms and computation, and someday service scientists may work with formal models of service systems, which we define as value...
207
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...