Sciweavers

2595 search results - page 217 / 519
» Modes in Asynchronous Systems
Sort
View
LCTRTS
2001
Springer
15 years 10 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 7 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
IC3
2010
15 years 6 months ago
Re-engineering Machine Translation Systems through Symbiotic Approach
The paper presents a software re-engineering approach that is being used by a consortium of eleven academic institutions facilitated by a software engineering group to re-engineer ...
Pawan Kumar, Rashid Ahmad, A. K. Rathaur, Mukul K....
DT
2008
75views more  DT 2008»
15 years 6 months ago
Application Scenarios in Streaming-Oriented Embedded-System Design
In the past decade real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, perfo...
Stefan Valentin Gheorghita, Twan Basten, Henk Corp...
RECSYS
2009
ACM
16 years 21 days ago
Rating aggregation in collaborative filtering systems
Recommender systems based on user feedback rank items by aggregating users’ ratings in order to select those that are ranked highest. Ratings are usually aggregated using a weig...
Florent Garcin, Boi Faltings, Radu Jurca, Nadine J...