Sciweavers

13271 search results - page 455 / 2655
» Computers, Programming, and People
Sort
View
170
Voted
PERCOM
2009
ACM
16 years 7 months ago
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
Wilfried Jouve, Julien Bruneau, Charles Consel
ICA3PP
2005
Springer
16 years 11 days ago
Analytical Models of Probability Distributions for MPI Point-to-Point Communication Times on Distributed Memory Parallel Compute
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
Duncan A. Grove, Paul D. Coddington
163
Voted
IFIP
2004
Springer
16 years 7 days ago
Complementing Computational Protocol Analysis with Formal Specifications
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
221
Voted
ACIVS
2009
Springer
15 years 11 months ago
Engineering of Computer Vision Algorithms Using Evolutionary Algorithms
Abstract. Computer vision algorithms are currently developed by looking up the available operators from the literature and then arranging those operators such that the desired task...
Marc Ebner
CANDC
1999
ACM
15 years 11 months ago
Integrating craft materials and computation
Traditionally, the notion of home crafting connotes the use of "low-tech" materials and techniques; but increasingly, the once-distinct worlds of crafting and computatio...
Glenn Blauvelt, Thomas Wrensch, Michael Eisenberg