1888 search results - page 353 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
107
Voted
IUI
1998
ACM
15 years 6 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
138
click to vote
AAAI
2006
15 years 3 months ago
2006
I propose that the notion of cognitive state be broadened from the current predicate-symbolic, Language-of-Thought framework to a multi-modal one, where perception and kinesthetic...
117
Voted
BDA
2006
15 years 3 months ago
2006
XML data projection (or pruning) is one of the main optimization techniques recently adopted in the context of main-memory XML query-engines. The underlying idea is quite simple: ...
116
click to vote
FLAIRS
2004
15 years 3 months ago
2004
The Mobile Agents model-based, distributed architecture, which integrates diverse components in a system for lunar and planetary surface operations, was extensively tested in a tw...
173
Voted
HPDC
2012
IEEE
13 years 4 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...