3828 search results - page 45 / 766 » Proof-Based System Engineering Using a Virtual System Model |
121
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
111
click to vote
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...
179
click to vote
DSN
2011
IEEE
14 years 2 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
118
Voted
LREC
2010
15 years 3 months ago
2010
We perform a large-scale evaluation of multiple off-the-shelf speech recognizers across diverse domains for virtual human dialogue systems. Our evaluation is aimed at speech recog...
131
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...