4794 search results - page 394 / 959 » Trust-Based Mechanism Design |
187
click to vote
ACTA
2007
15 years 7 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
196
click to vote
CAL
2006
15 years 7 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
215
click to vote
IEICET
2008
15 years 7 months ago
2008
Sensor nodes report the sensed data packets to the sink and depending on the application these packets may have diverse attributes: time-critical (TC) and non time-critical (NTC). ...
219
click to vote
ENTCS
2006
15 years 7 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
189
click to vote
IJNM
2008
15 years 7 months ago
2008
In this article we examine the architecture of an entity used for automatic management and provisioning of resources for DiffServ networks. We examine the existing literature and ...