884 search results - page 49 / 177 » A semantics of sequence diagrams |
115
click to vote
AOSE
2000
Springer
15 years 6 months ago
2000
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...
111
click to vote
APN
2000
Springer
15 years 6 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
SYNTHESE
2010
15 years 19 hour ago
2010
Though pictures are often used to present mathematical arguments, they are not typically thought to be an acceptable means for presenting mathematical arguments rigorously. With re...
108
click to vote
TSD
1999
Springer
15 years 5 months ago
1999
Springer
Automatic lipreading is automatic speech recognition that uses only visual information. The relevant data in a video signal is isolated and features are extracted from it. From a s...
130
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...