Sciweavers

5378 search results - page 801 / 1076
» Base Logics in Argumentation
Sort
View
116
Voted
EMSOFT
2005
Springer
15 years 6 months ago
Distributing synchronous programs using bounded queues
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
Marco Zennaro, Raja Sengupta
EUC
2005
Springer
15 years 6 months ago
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
Jens Brandt, Klaus Schneider
96
Voted
FASE
2005
Springer
15 years 6 months ago
Improving the Build Architecture of Legacy C/C++ Software Systems
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, P...
FSE
2005
Springer
84views Cryptology» more  FSE 2005»
15 years 6 months ago
Some Attacks on the Bit-Search Generator
The bit-search generator (BSG) was proposed in 2004 and can be seen as a variant of the shrinking and self-shrinking generators. It has the advantage that it works at rate 1/3 usin...
Martin Hell, Thomas Johansson
FSKD
2005
Springer
95views Fuzzy Logic» more  FSKD 2005»
15 years 6 months ago
The Fuzzy Mega-cluster: Robustifying FCM by Scaling Down Memberships
A new robust clustering scheme based on fuzzy c-means is proposed and the concept of a fuzzy mega-cluster is introduced in this paper. The fuzzy mega-cluster is conceptually simila...
Amit Banerjee, Rajesh N. Davé