1992 search results - page 294 / 399 » Model Based Testing with Labelled Transition Systems |
145
Voted
EVOW
2009
Springer
15 years 1 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
143
click to vote
MTA
2010
15 years 1 months ago
2010
As the number of digital images is growing fast and Content-based Image Retrieval (CBIR) is gaining in popularity, CBIR systems should leap towards Webscale datasets. In this paper...
141
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
146
click to vote
TECS
2008
15 years 3 months ago
2008
tion. Transaction Level Modeling (TLM) has been proposed to abstract communication for highspeed system simulation and rapid design space exploration. Although being widely accepte...
152
click to vote
HT
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...