1113 search results - page 163 / 223 » Counter Systems for Data Logics |
114
click to vote
SIGOPSE
2000
ACM
15 years 9 months ago
2000
ACM
The algorithm for stabilising multiple stores, which we present in this paper, was developed in the process of designing the global stability and resilience mechanism for Grasshopp...
153
click to vote
HT
1991
ACM
15 years 8 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...
154
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
123
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper proposes a novel approach to implement software object in hardware. Data-Memory mapping schemes are investigated and four hardware object design schemes are proposed an...
131
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
There are different strategies to integrate software systems: integration on the data layer, on the business logic layer, and on the user interface layer. The latter area, recent...