68 search results - page 12 / 14 » SeDiTeC - Testing Based on Sequence Diagrams |
TSP
2008
13 years 6 months ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we consider online (sequential) portfolio selection in a competitive algorithm framework under transaction costs. We construct a sequential algorithm for portfolio ...
ICTAC
2004
Springer
14 years 2 days ago
2004
Springer
Scenario based requirements specifications are the industry norm for defining communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...
CSSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
CIE
2005
Springer
14 years 8 days ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...