3742 search results - page 65 / 749 » On the Use of Formal Techniques for Validation |
173
click to vote
ASWSD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
167
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
156
click to vote
TACAS
2000
Springer
15 years 9 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
149
click to vote
APWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Essential to an audience driven website design philosophy is the organization of information and functionality according to the requirements of the different audience cla...
188
click to vote
JIKM
2008
15 years 6 months ago
2008
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...