Sciweavers

1660 search results - page 226 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
138
Voted
AUTOMATICA
2004
138views more  AUTOMATICA 2004»
15 years 3 months ago
Decentralized overlapping control of a formation of unmanned aerial vehicles
Decentralized overlapping feedback laws are designed for a formation of unmanned aerial vehicles. The dynamic model of the formation with an information structure constraint in wh...
Dusan M. Stipanovic, Gökhan Inalhan, Rodney T...
120
Voted
HT
1996
ACM
15 years 7 months ago
The Flag Taxonomy of Open Hypermedia Systems
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
Kasper Østerbye, Uffe Kock Wiil
129
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 5 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
124
Voted
CSCW
2008
ACM
15 years 5 months ago
Understanding the implications of social translucence for systems supporting communication at work
In this paper we describe a study that explored the implications of the Social Translucence framework for designing systems that support communications at work. Two systems design...
Agnieszka Matysiak Szóstek, Evangelos Karap...
143
Voted
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
15 years 10 months ago
A repetitive process approach to the control of self-servowriting in disk drives
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
Krzysztof Galkowski, Wojciech Paszke, Eric Rogers