1525 search results - page 274 / 305 » Formal Models for Communication-Based Design |
130
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
147
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
110
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
116
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
153
Voted
APN
2009
Springer
15 years 10 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...