3088 search results - page 103 / 618 » A Teleradiology System Design Case |
180
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
171
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
159
click to vote
JSAC
2006
15 years 6 months ago
2006
This paper focuses on the interaction between the Transport Control Protocol (TCP) layer and the radio interface in the High Speed Downlink Packet Access (HSDPA) wireless system. I...
145
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...
157
click to vote
AOSE
2006
Springer
15 years 10 months ago
2006
Springer
Recently, multi-agent systems have proved to be a suitable approach to the development of real-life information systems. In particular, they are used in the domain of safety critic...