Sciweavers

4647 search results - page 219 / 930
» Analysis and design of OFDM-IDMA systems
Sort
View
88
Voted
WCET
2010
14 years 8 months ago
WCET Analysis of a Parallel 3D Multigrid Solver Executed on the MERASA Multi-Core
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
Christine Rochange, Armelle Bonenfant, Pascal Sain...
PUC
2008
146views more  PUC 2008»
14 years 10 months ago
Evaluating teamwork support in tabletop groupware applications using collaboration usability analysis
Tabletop groupware systems have natural advantages for collaboration, but they present a challenge for application designers because shared work and interaction progress in differe...
David Pinelle, Carl Gutwin
94
Voted
IJMI
2010
149views more  IJMI 2010»
14 years 9 months ago
Analysis of communicative behaviour: Profiling roles and activities
In this paper, we discuss how profiles of communicative behaviour can be used to present and analyse information about role activity recorded through structured observation of spec...
Inger Dybdahl Sørby, Øystein Nytr&os...
103
Voted
CCS
2005
ACM
15 years 4 months ago
Formal security analysis of basic network-attached storage
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
Avik Chaudhuri, Martín Abadi
145
Voted
DANCE
2002
IEEE
15 years 3 months ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...