1833 search results - page 120 / 367 » Mechanized Verification with Sharing |
135
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...
125
Voted
WWW
2003
ACM
16 years 5 months ago
2003
ACM
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...
139
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...
132
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
143
click to vote
SI3D
2003
ACM
15 years 9 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...