3005 search results - page 400 / 601 » Logical Information Systems: from Taxonomies to Logics |
181
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
129
click to vote
SIGDOC
2005
ACM
16 years 4 days ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
164
click to vote
AMAI
2004
Springer
16 years 1 hour ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
168
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a methodology for parallel and distributed simulation of VHDL using the PDES (parallel discrete-event simulation) paradigm. To achieve better features and perf...
167
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Most large shared-memory multiprocessors use directory protocols to keep per-processor caches coherent. Some memory references in such systems, however, suffer long latencies for ...