3868 search results - page 255 / 774 » Open Systems in TLA |
212
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
225
click to vote
ADHOCNETS
2009
Springer
16 years 1 months ago
2009
Springer
Although IEEE 802.15.4 is being considered as a promising standard for low-cost low-power Wireless Sensor Networks (WSNs), several issues in the specification are still open. One o...
179
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Virtual communities have become an important new organizational form and yet relatively little is known about the conditions which lead to their success. In an attempt to address ...
267
click to vote
CONIELECOMP
2006
IEEE
16 years 1 months ago
2006
IEEE
Most of the existing 3D engines are overwhelmingly complex and do not integrate support for virtual characters. We have developed a teaching oriented 3D engine with support for su...
185
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efficient tool for implementing any Erlang/C bindings, as either...