1398 search results - page 122 / 280 » Ensuring Properties of Interaction Systems |
164
Voted
ISMAR
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a framework for authoring three-dimensional virtual scenes for Augmented Reality (AR) which is based on hand sketching. Sketches consisting of multiple components are u...
162
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
142
Voted
NAR
2011
14 years 7 months ago
2011
P2CS (http://www.p2cs.org) is a specialized database for prokaryotic two-component systems (TCSs), virtually ubiquitous signalling proteins which regulate a wide range of physiolo...
120
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— To discover an efficient fair sending rate for a flow, Transmission Control Protocol (TCP) saturates the bottleneck link and its buffer until the router discards a packet. Su...
131
Voted
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...