1992 search results - page 291 / 399 » Model Based Testing with Labelled Transition Systems |
116
click to vote
INFOSCALE
2007
ACM
15 years 4 months ago
2007
ACM
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
127
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Visual tracking is one of the key tasks in computer vision. The particle filter algorithm has been extensively used to tackle this problem due to its flexibility. However the conv...
140
Voted
JCDL
2005
ACM
15 years 8 months ago
2005
ACM
Recommender systems can provide valuable services in a digital library environment, as demonstrated by its commercial success in book, movie, and music industries. One of the most...
111
click to vote
MWCN
2004
Springer
15 years 8 months ago
2004
Springer
Inter-vehicle communication is becoming increasingly important in recent years. Traditional research efforts on vehicular networks have been put into safety or infotainment applica...
141
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...