2106 search results - page 170 / 422 » Specifying C concepts |
160
click to vote
ECOOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Starting from the advantages of using Feature-Oriented Programming (FOP) and program families to support software evolution, this paper discusses the drawbacks of current...
141
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
148
click to vote
MMMACNS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Amongst the challenges of ubiquitous computing is the need to provide management support for personal wireless devices and sensors. In this extended abstract we introduce...
123
click to vote
SSS
2005
Springer
15 years 10 months ago
2005
Springer
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of selfstabilization if faults can also affect (i.e...
128
click to vote
EUSAI
2004
Springer
15 years 10 months ago
2004
Springer
The topic of this paper is rich interaction. Rich interaction borrows from tangible interaction and the concept of affordances. This is achieved through integral design of form, in...