3828 search results - page 217 / 766 » Proof-Based System Engineering Using a Virtual System Model |
187
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
157
click to vote
HCI
2009
15 years 4 months ago
2009
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
280
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
148
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
184
click to vote
NORDICHI
2004
ACM
15 years 12 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...