3809 search results - page 92 / 762 » Associative language descriptions |
135
click to vote
SFM
2004
Springer
15 years 10 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
120
click to vote
JNCA
2007
15 years 4 months ago
2007
Composite web services are defined using the industry-standard language BPEL (Business Process Execution Logic). There is a strong need for graphical and automated support for th...
172
click to vote
ICALP
2011
Springer
14 years 8 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
116
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
135
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a system for video streaming well adapted to the unpredictable and varying nature of Internet. The proposed system uses a superposition of several Multiple Description ...