Sciweavers

5446 search results - page 696 / 1090
» Software Architecture - Introduction
Sort
View
WCET
2007
15 years 8 months ago
Timing Analysis of Body Area Network Applications
Body area network (BAN) applications have stringent timing requirements. The timing behavior of a BAN application is determined not only by the software complexity, inputs, and ar...
Liang Yun, Abhik Roychoudhury, Tulika Mitra
ENTCS
2006
213views more  ENTCS 2006»
15 years 6 months ago
Building Components from Functions
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...
Bernhard Schäz
ENTCS
2007
95views more  ENTCS 2007»
15 years 6 months ago
MMC: the Mono Model Checker
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
Theo C. Ruys, Niels H. M. Aan de Brugh
DT
2000
101views more  DT 2000»
15 years 6 months ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler
JECR
2000
85views more  JECR 2000»
15 years 6 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng