449 search results - page 29 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
110
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In ...
119
Voted
IWPSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
127
click to vote
CASES
2010
ACM
14 years 10 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
127
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
117
click to vote
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...