4350 search results - page 219 / 870 » Case studies for contract-based systems |
126
click to vote
ECRTS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
124
Voted
KI
2006
Springer
15 years 4 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
158
Voted
MLQ
2000
15 years 4 months ago
2000
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
142
Voted
ICIAP
2009
ACM
16 years 5 months ago
2009
ACM
Abstract. Line matching across images taken by a central imaging system (perspective or catadioptric) with focus on short baseline motion of the system is proposed. The relationshi...
150
Voted
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
This article identifies two significant challenges in implementing Knowledge Management Systems (KMS), then, proposes solutions based on information economics. A knowledge market ...