449 search results - page 76 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
120
click to vote
MOBICOM
2006
ACM
15 years 5 months ago
2006
ACM
Wireless sensor networks are tightly associated with the underlying environment in which the sensors are deployed. The global topology of the network is of great importance to bot...
115
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
108
click to vote
SIMPRA
2008
14 years 11 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
117
click to vote
STOC
2009
ACM
16 years 7 days ago
2009
ACM
We study the question of basing symmetric key cryptography on weak secrets. In this setting, Alice and Bob share an n-bit secret W, which might not be uniformly random, but the ad...