2367 search results - page 330 / 474 » Harvesting design for an application framework |
DAC
1997
ACM
15 years 2 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
182
click to vote
GIS
2006
ACM
15 years 11 months ago
2006
ACM
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
There are many studies on ABS and several frameworks for ABS have already been published. However, there are few frameworks that can enable agent-based simulation using large numb...
106
click to vote
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
MM
2006
ACM
15 years 4 months ago
2006
ACM
Many recent studies perform annotation of paintings based on brushwork. In these studies the brushwork is modeled indirectly as part of the annotation of high-level artistic conce...