Sciweavers

2763 search results - page 189 / 553
» The Dangerous 'All' in Specifications
Sort
View
HVC
2007
Springer
153views Hardware» more  HVC 2007»
15 years 10 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
ICC
2007
IEEE
128views Communications» more  ICC 2007»
15 years 10 months ago
A Dynamic Service Level Negotiation Mechanism for QoS Provisioning in NGEO Satellite Networks
Satellite communication systems exhibit important and unique features that qualify them to be an integral part of a global ubiquitous information system. Given the universality of ...
Tarik Taleb, Kazuo Hashimoto, Nei Kato, Yoshiaki N...
AI
2006
Springer
15 years 10 months ago
Satisfaction Equilibrium: Achieving Cooperation in Incomplete Information Games
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
Stéphane Ross, Brahim Chaib-draa
CCGRID
2004
IEEE
15 years 10 months ago
Routing and resource discovery in Phoenix Grid-enabled message passing library
We describe design and implementation of a "Gridenabled" message passing library, in the context of Phoenix message passing model. It supports (1) message routing betwee...
Kenji Kaneda, Kenjiro Taura, Akinori Yonezawa
COOPIS
2004
IEEE
15 years 10 months ago
Security Management Through Overloading Views
The model of overloading views is a facility allowing the programmer to separate some kinds of crosscutting concerns that occur during design, implementation and maintenance of dat...
Radoslaw Adamus, Kazimierz Subieta