1525 search results - page 274 / 305 » Formal Models for Communication-Based Design |
106
Voted
SAC
2009
ACM
15 years 7 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...
109
click to vote
RTSS
2009
IEEE
15 years 7 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...
91
Voted
INFOCOM
2009
IEEE
15 years 7 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...
ISORC
2009
IEEE
15 years 7 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...
120
click to vote
APN
2009
Springer
15 years 7 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...