7380 search results - page 576 / 1476 » Engineering Software Intensive Systems |
144
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
We examine the problems with automated recommendation systems when information about user preferences is limited. We equate the problem to one of content similarity measurement an...
130
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
225
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
166
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
181
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...