1992 search results - page 326 / 399 » Model Based Testing with Labelled Transition Systems |
138
Voted
AIME
2007
Springer
15 years 8 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
114
click to vote
CHI
1994
ACM
15 years 6 months ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
129
Voted
SIGIR
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes a decentralized peer-to-peer model for building a Web crawler. Most of the current systems use a centralized client-server model, in which the crawl is done by...
131
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
113
click to vote
MM
2009
ACM
15 years 7 months ago
2009
ACM
Unlike the questionnaire based friend recommendation scheme used in Social Network Service (SNS) websites nowadays (e.g. online dating sites, online matchmaking sites), we focus o...