Sciweavers

894 search results - page 155 / 179
» A Lightweight Experiment Management System for Handheld Comp...
Sort
View
175
Voted
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
100
Voted
LCN
2008
IEEE
15 years 6 months ago
DiCAP: Distributed Packet Capturing architecture for high-speed network links
— IP traffic measurements form the basis of several network management tasks, such as accounting, planning, intrusion detection, and charging. High-speed network links challenge ...
Cristian Morariu, Burkhard Stiller
103
Voted
CAMAD
2009
IEEE
15 years 5 months ago
Improving Federation Executions with Migrating HLA/RTI Central Runtime Components
— Simulation tools are popular in the design and study of communication systems and networks. The implementation of analytic distributed simulations commonly require a central en...
Ricardo Lent
125
Voted
SAC
2010
ACM
14 years 7 months ago
Convex onion peeling genetic algorithm: an efficient solution to map labeling of point-feature
Map labeling of point-feature is the problem of placing text labels to corresponding point features on a map in a way that minimizes overlaps while satisfying basic rules for the ...
Wan D. Bae, Shayma Alkobaisi, Petr Vojtechovsk&yac...
92
Voted
CHI
2005
ACM
16 years 26 days ago
Combining head tracking and mouse input for a GUI on multiple monitors
The use of multiple LCD monitors is becoming popular as prices are reduced, but this creates problems for window management and switching between applications. For a single monito...
Mark Ashdown, Kenji Oka, Yoichi Sato