7109 search results - page 1346 / 1422 » Process Algebra with Combinators |
137
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...
118
click to vote
CBMS
2003
IEEE
15 years 9 months ago
2003
IEEE
Nowadays, several health institutions already use clinical report systems. However the majority of these systems do not comply with any standard for codification, storage and tran...
142
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
138
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
— There is a growing interest among service providers to offer new services with Quality of Service (QoS) guaranties that are also resilient to failures. Supporting QoS connectio...
139
click to vote
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
With increasing clock frequencies and silicon integration, power aware computing has become a critical concern in the design of embedded processors and systems-on-chip. One of the...