4930 search results - page 415 / 986 » Testing a Safety-Critical Application |
220
Voted
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...
184
Voted
ICWE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Web recommendation systems have become a popular means to improve the usability of web sites. This paper describes the architecture of a rulebased recommendation system a...
161
click to vote
SPIRE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This work presents an experimental comparison of intersection algorithms for sorted sequences, including the recent algorithm of Baeza-Yates. This algorithm performs on a...
154
click to vote
ESOP
2004
Springer
16 years 7 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
172
Voted
PRICAI
2004
Springer
16 years 6 days ago
2004
Springer
Orion Systems International Limited has recognised the need in the healthcare industry for an application to provide robust clinical decision support. One possible approach is to d...