22114 search results - page 3997 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
206
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
A priori wirelength estimation is concerned with predicting various wirelength characteristics before placement. In this work we propose a novel, accurate estimator of net lengths...
171
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
190
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Location information is an important source of context for ubiquitous computing systems. We have previously developed a wearable location system that combines a foot-mounted inerti...
179
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
176
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...