4434 search results - page 228 / 887 » On the Composition of Hybrid Systems |
189
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
199
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
158
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive Hypermedia is utilised in several domains, such as eLearning and professional training, where there is a growing movement towards the use of cognitively richer and more `a...
180
click to vote
CRV
2005
IEEE
16 years 5 days ago
2005
IEEE
Docking craft in space and guiding mining machines are areas that often use remote video cameras equipped with one or more controllable light sources. In these applications, the p...
159
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...