4273 search results - page 540 / 855 » User studies and the design of Natural Language Systems |
164
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
303
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
198
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
178
click to vote
ERCIMDL
2003
Springer
15 years 12 months ago
2003
Springer
A digital library typically includes a set of keywords (or subject terms) for each document in its collection(s). For some applications, including natural resource management, geog...
201
click to vote
PET
2004
Springer
16 years 2 days ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...