1895 search results - page 28 / 379 » Modular Functional Descriptions |
152
click to vote
JLP
2006
15 years 5 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
177
click to vote
MST
2011
15 years 26 days ago
2011
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
160
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
147
click to vote
EUROCRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We introduce VSH, very smooth hash, a new S-bit hash function that is provably collision-resistant assuming the hardness of finding nontrivial modular square roots of ver...
189
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...