2036 search results - page 79 / 408 » A generic type-and-effect system |
154
click to vote
POST
2012
14 years 1 months ago
2012
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
163
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators' models are reused. We address this design problem in the set...
155
click to vote
ETFA
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
158
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
150
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...