4820 search results - page 290 / 964 » Implementing Signatures for C |
123
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
We apply the concept of “games with a purpose” to NPcomplete mapping and scheduling problems in distributed systems and report our experiences. The particular context is a sch...
120
click to vote
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present the design and implementation of an agent-mediated B2C e-Marketplace as part of the social and immersive 3D e-Tourism environment “Itchy Feet”. Custom...
122
click to vote
C5
2008
IEEE
15 years 10 months ago
2008
IEEE
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
120
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
121
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...