1992 search results - page 287 / 399 » Model Based Testing with Labelled Transition Systems |
151
click to vote
ICCBR
2005
Springer
15 years 8 months ago
2005
Springer
Small to medium enterprises require an internal control mechanism in order to monitor their modus operandi and to analyse whether they are achieving their goals. A tool for the dec...
169
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 4 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
131
click to vote
SOCIALCOM
2010
15 years 1 months ago
2010
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
150
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a biologically-motivated system for the recognition of actions from video sequences. The approach builds on recent work on object recognition based on hierarchical feed...
131
click to vote
SAC
2000
ACM
15 years 7 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...