5180 search results - page 275 / 1036 » Requirements Engineering |
187
click to vote
EDBTW
2004
Springer
15 years 10 months ago
2004
Springer
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
150
click to vote
TACS
1991
Springer
15 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
147
click to vote
UIST
1991
ACM
15 years 10 months ago
1991
ACM
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
190
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In the Eclipse JDT, the Java reference resolution rules are applied as fully as possible, thereby either determining the unique target for a given reference or signalling that the...
197
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...