Sciweavers

7080 search results - page 190 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
PIMRC
2008
IEEE
15 years 6 months ago
Combining MIMO and relaying gains for highly efficient wireless backhaul
— In this paper, the design of a highly efficient and flexibly deployable wireless backhaul is addressed as a promising alternative to the typical wired solutions. To this end, a...
Angeliki Alexiou, Kai Yu, Federico Boccardi
SDL
2007
192views Hardware» more  SDL 2007»
15 years 1 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
DATE
2003
IEEE
82views Hardware» more  DATE 2003»
15 years 5 months ago
Scaling into Ambient Intelligence
Envision the situation that high quality information and entertainment is easily accessible to anyone, anywhere, at any time, and on any device. How realistic is this vision? And ...
Twan Basten, Luca Benini, Anantha Chandrakasan, Me...
HCI
2009
14 years 9 months ago
People-Oriented Programming: From Agent-Oriented Analysis to the Design of Interactive Systems
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
Steve Goschnick
GIS
2000
ACM
15 years 3 months ago
A high-performance Web-based system design for spatial data accesses
With the increasing use of geographical data in real-world applications, Geographic Information Systems (GISs) have recently emerged as a fruitful area for research. Nowadays, a G...
Shu-Ching Chen, Xinran Wang, Naphtali Rishe, Mark ...