794 search results - page 83 / 159 » Adopting a Software Component Model in Real-Time Systems Dev... |
148
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
183
click to vote
ICCBSS
2005
Springer
15 years 10 months ago
2005
Springer
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
144
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
130
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
151
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...