449 search results - page 31 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
115
click to vote
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...
134
click to vote
AGENTCL
2003
Springer
15 years 6 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
118
Voted
TCSV
2002
15 years 1 months ago
2002
This paper presents a new 3-D subband coding framework that is able to achieve a good balance between high compression performance and channel error resilience. Various data transf...
129
click to vote
SYNASC
2008
IEEE
15 years 8 months ago
2008
IEEE
We formalize paper fold (origami) by graph rewriting. Origami tion is abstractly described by a rewrite system (O, ), where set of abstract origami’s and is a binary relation on ...
102
click to vote
JOT
2006
15 years 1 months ago
2006
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...