260 search results - page 13 / 52 » Operational Information Systems: An Example from the Airline... |
ASM
2010
ASM
14 years 13 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
FM
1997
Springer
14 years 1 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
AAAI
1994
13 years 10 months ago
1994
Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— The growth of video content and diversification of content-sharing methods in the Internet lead to an exciting range of new problems in networking, communications, and...