8008 search results - page 321 / 1602 » Computer-Aided Language Processing |
101
click to vote
CCE
2008
15 years 4 months ago
2008
Easy Java Simulations (Ejs) and Sysquake are two software tools specifically intended for implementation of virtual-labs. They allow easy definition of the virtuallab view (i.e., ...
135
click to vote
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
We address the problem of efficient support for active rules in XML database systems. We describe a general form of active rules for XML based on XQuery and a previously defined...
125
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
105
Voted
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
135
click to vote
FCCM
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...