7452 search results - page 1225 / 1491 » A Semantics for Multiprocessor Systems |
169
click to vote
ITCC
2003
IEEE
15 years 12 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
186
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
187
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
170
click to vote
SSDBM
2003
IEEE
15 years 12 months ago
2003
IEEE
Accessing data stored in persistent memory represents a bottleneck for current visual exploration applications. Semantic caching of frequent queries at the client-side along with ...
156
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
The National Science Digital Library (NSDL), launched in December 2002, is emerging as a center of innovation in digital libraries as applied to education. As a part of this exten...