Sciweavers

336 search results - page 48 / 68
» Enhancing Dependability of Component-Based Systems
Sort
View
GLOBECOM
2007
IEEE
14 years 4 months ago
Asymmetric Cooperation Among Relays with Linear Precoding
— Fixed and mobile relays are used, among other applications, in the downlink of cellular communications systems. Cooperation between relays can greatly increase their benefits ...
Natasha Devroye, Neelesh B. Mehta, Andreas F. Moli...
HT
2004
ACM
14 years 3 months ago
How much is too much in a hypertext link?: investigating context and preview - a formative evaluation
A high quality of free movement, or mobility, is key to the accessibility, design, and usability of many ‘common-use’ hypermedia resources (Web sites) and key to good mobility...
Simon Harper, Yeliz Yesilada, Carole A. Goble, Rob...
IWAI
1999
Springer
14 years 2 months ago
Redesigning the Agents' Decision Machinery
In a multi-agent system, agents must decide what to do and by what order. Autonomy is a key notion in such a system, since it is mainly the autonomy of the agents that makes the en...
Luis Antunes, Helder Coelho
CPAIOR
2008
Springer
13 years 11 months ago
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Tino Teige, Martin Fränzle
IADIS
2003
13 years 11 months ago
Knowledge Acquisition Strategies and Navigation in Hypermedia Learning Environments: THe Influence of Instructional Design Prope
In order to understand and enhance the value of new media in education it is necessary to develop criteria for the evaluation of the effectiveness of learning with hypermedia envi...
Mattias Steinke, Thomas Huk, Christian Floto