3828 search results - page 212 / 766 » Proof-Based System Engineering Using a Virtual System Model |
147
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
339
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
208
click to vote
ISNN
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Systems for keyword and non-linguistic vocalization detection in conversational agent applications need to be robust with respect to background noise and different speak...
208
click to vote
ITRUST
2004
Springer
15 years 12 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
212
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...