3828 search results - page 219 / 766 » Proof-Based System Engineering Using a Virtual System Model |
194
click to vote
IVA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a system which consists of a lifelike agent animated in real-time using video and audio analysis from the user. This kind of system could be used for Instant M...
215
click to vote
DSRT
2006
IEEE
16 years 16 days ago
2006
IEEE
For efficient collaboration between participants, eye gaze is seen as being critical for interaction. Teleconferencing systems such as the AcessGrid allow users to meet across ge...
195
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
170
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
169
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...