1724 search results - page 121 / 345 » Models for Concurrency |
ADAEUROPE
2010
Springer
13 years 8 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
ICEBE
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
NJC
2006
13 years 10 months ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
ENTCS
2007
13 years 10 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
ICNP
1999
IEEE
14 years 2 months ago
1999
IEEE
As the most widely used reliable transport in today's Internet, TCP has been extensively studied in the past. However, previous research usually only considers a small or med...