3828 search results - page 70 / 766 » Proof-Based System Engineering Using a Virtual System Model |
109
click to vote
SSIRI
2010
15 years 25 days ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
114
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
The electronic voting machines known as Direct Recording Electronic (DRE), that are used in many states in the US have been shown to contain security vulnerabilities [16, 9, 3]. O...
130
click to vote
VRCAI
2004
ACM
15 years 7 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
125
click to vote
IVA
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents an architecture for an intelligent virtual agent that imitates human drumming behaviour. Through imitation, the agent models the user-specific variations that ...