7623 search results - page 1068 / 1525 » Constructive Volume Modeling |
141
click to vote
ISSTA
2006
ACM
16 years 25 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
161
click to vote
IUI
2006
ACM
16 years 25 days ago
2006
ACM
Based on our recent work on the development of a trust model for recommender agents and a qualitative survey, we explore the potential of building users’ trust with explanation ...
192
click to vote
ACSC
2005
IEEE
16 years 15 days ago
2005
IEEE
The challenges faced by mobile and distributed applications include the ability to discover and negotiate for the resources required for execution. The NOMAD (Negotiated Object Mo...
197
click to vote
ACSD
2005
IEEE
16 years 15 days ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
188
click to vote
CITA
2005
IEEE
16 years 15 days ago
2005
IEEE
- We present an architecture for data streams based on structures typically found in web cache hierarchies. The main idea is to build a meta level analyser from a number of levels ...