4418 search results - page 423 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
214
click to vote
KCAP
2011
ACM
14 years 9 months ago
2011
ACM
Some supervised-learning algorithms can make effective use of domain knowledge in addition to the input-output pairs commonly used in machine learning. However, formulating this a...
200
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
196
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
192
click to vote
DBISP2P
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Building distributed content–based publish/subscribe systems has remained a challenge. Existing solutions typically use a relatively small set of trusted computers as b...
180
click to vote
ACL
2000
15 years 8 months ago
2000
Writing English is a big barrier for most Chinese users. To build a computer-aided system that helps Chinese users not only on spelling checking and grammar checking but also on w...