Sciweavers

5446 search results - page 302 / 1090
» Software Architecture - Introduction
Sort
View
ISCAS
2007
IEEE
114views Hardware» more  ISCAS 2007»
16 years 28 days ago
On the Suitability of Discrete-Time Receivers for Software-Defined Radio
—CMOS radio receiver architectures, based on radio frequency (RF) sampling followed by discrete-time (D-T) signal processing via switched-capacitor circuits, have recently been p...
Zhiyu Ru, Eric A. M. Klumperink, Bram Nauta
ICCHP
2010
Springer
15 years 11 months ago
Qanti: A Software Tool for Quick Ambiguous Non-standard Text Input
This paper introduces a single-key text entry application for users with severe physical impairments. The tool combines the idea of a scanning ambiguous keyboard (which promises un...
Torsten Felzer, I. Scott MacKenzie, Philipp Becker...
ECRTS
2000
IEEE
15 years 11 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
ISCC
2000
IEEE
15 years 11 months ago
The Use of Software Agents as Proxies
Today information can be accessed from the Internet using a variety of devices and via different types of networks. With such diversity, it is impossible for a server on the Inter...
Binh Thai, Aruna Seneviratne
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...