3828 search results - page 145 / 766 » Proof-Based System Engineering Using a Virtual System Model |
169
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
We propose and describe a novel video capturing system called Sat-Cam that can observe and record the users’ activity from effective viewpoints to negate the effects of unstead...
143
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Existing virtual memory systems usually work well with applications written in C and C++, but they do not provide adequate support for garbage-collected applications. The performa...
248
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
179
click to vote
CIRA
2007
IEEE
16 years 17 days ago
2007
IEEE
— This research identifies a strategy called compliant formation control, which may be used to coordinate the navigational structure of a team of autonomous vehicles. This techni...
161
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....