883 search results - page 127 / 177 » The Semantics of Verilog Using Transition System Combinators |
AOSD
2007
ACM
14 years 1 months ago
2007
ACM
In order to increase the productivity of the application developers, it is desirable to remove the persistence concern from their responsibility. For this purpose, the orthogonal ...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
ECIS
2004
13 years 10 months ago
2004
Current research focuses on the dynamics of mobile telecommunications market innovation from the perspectives of technology innovation or service adoption. However,because there i...
DL
1994
Springer
14 years 1 months ago
1994
Springer
In this chapter we argue that hyperdocuments administered by digital libraries have to be structured according to standardized storage and exchange formats in order to allow for t...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...