Sciweavers

2615 search results - page 474 / 523
» Analysis of Real Time Operating System Based Applications
Sort
View
FROCOS
2007
Springer
15 years 5 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
GLOBECOM
2007
IEEE
15 years 5 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...
HYBRID
2007
Springer
15 years 5 months ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...
103
Voted
NOSSDAV
2005
Springer
15 years 4 months ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
ICAT
2003
IEEE
15 years 4 months ago
Effective Output Patterns for Torque Display
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...
Masataka Sakai, Yukio Fukui, Norio Nakamura