Sciweavers

7623 search results - page 1085 / 1525
» Constructive Volume Modeling
Sort
View
MEMOCODE
2003
IEEE
16 years 3 days ago
Optimizations for Faster Execution of Esterel Programs
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
Dumitru Potop-Butucaru, Robert de Simone
SAINT
2003
IEEE
16 years 3 days ago
Distributed Authentication for Peer-to-Peer Networks
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
Shardul Gokhale, Partha Dasgupta
WETICE
2003
IEEE
16 years 3 days ago
Automatic synthesis of coordinators for COTS group-ware applications: an example
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
Paola Inverardi, Massimo Tivoli, Antonio Bucchiaro...
158
Voted
WISE
2003
Springer
16 years 3 days ago
Traversing the Web: Mobility Heuristics for Visually Impaired Surfers
— Movement, or mobility, is key to the accessibility, design, and usability of many websites. While some peripheral mobility issues have been addressed few have centered on the m...
Simon Harper, Carole A. Goble, Robert Stevens
SMA
2003
ACM
16 years 2 days ago
Geometric constraint solving via C-tree decomposition
This paper has two parts. First, we propose a method which can be used to decompose a geometric constraint graph into a c-tree. With this decomposition, solving for a well-constrai...
Xiao-Shan Gao, Gui-Fang Zhang
« Prev « First page 1085 / 1525 Last » Next »