Sciweavers

1341 search results - page 77 / 269
» Unified Modeling of Complex Real-Time Control Systems
Sort
View
122
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Improving UML Support for User Interface Design: A Metric Assessment of UMLi
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
Paulo Pinheiro da Silva, Norman W. Paton
123
Voted
WISA
2007
Springer
15 years 9 months ago
A Compositional Multiple Policies Operating System Security Model
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
Lei Xia, Wei Huang, Hao Huang
142
Voted
WCET
2008
15 years 4 months ago
Applying WCET Analysis at Architectural Level
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
Olivier Gilles, Jérôme Hugues
156
Voted
ICALP
1997
Springer
15 years 7 months ago
Discrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
Thomas A. Henzinger, Peter W. Kopke
129
Voted
TROB
2002
212views more  TROB 2002»
15 years 3 months ago
Path planning for robust image-based control
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
Youcef Mezouar, François Chaumette