4755 search results - page 214 / 951 » An Implementation Model for Collaborative Applications |
124
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
144
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
125
click to vote
CVPR
2003
IEEE
15 years 8 months ago
2003
IEEE
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
137
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
73
Voted
ORI
2008
15 years 3 months ago
2008
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...