794 search results - page 83 / 159 » Adopting a Software Component Model in Real-Time Systems Dev... |
180
click to vote
SIGCSE
2010
ACM
16 years 1 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...
224
click to vote
ICCBSS
2005
Springer
16 years 4 days 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...
183
click to vote
ICSE
2008
IEEE-ACM
16 years 7 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...
161
click to vote
ICRA
2006
IEEE
16 years 20 days 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...
193
click to vote
ASM
2010
ASM
16 years 1 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...