Sciweavers

1525 search results - page 259 / 305
» Formal Models for Communication-Based Design
Sort
View
HT
2010
ACM
15 years 5 months ago
iMapping: a zooming user interface approach for personal and semantic knowledge management
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...
Heiko Haller, Andreas Abecker
ISCC
2002
IEEE
147views Communications» more  ISCC 2002»
15 years 5 months ago
Self-securing ad hoc wireless networks
Mobile ad hoc networking offers convenient infrastructureless communication over the shared wireless channel. However, the nature of ad hoc networks makes them vulnerable to secur...
Haiyun Luo, Petros Zerfos, Jiejun Kong, Songwu Lu,...
MMMACNS
2001
Springer
15 years 5 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
DATE
2000
IEEE
94views Hardware» more  DATE 2000»
15 years 5 months ago
Shared Memory Implementations of Synchronous Dataflow Specifications
There has been a proliferation of block-diagram environments for specifying and prototyping DSP systems. These include tools from academia like Ptolemy [3], and GRAPE [7], and com...
Praveen K. Murthy, Shuvra S. Bhattacharyya
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 4 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy