8828 search results - page 1619 / 1766 » Formal methods in practice |
175
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
139
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Sensors’ locations play a critical role in many sensor network applications. A number of techniques have been proposed recently to discover the locations of regular sensors base...
129
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
Topological concepts and techniques have been broadly applied in computer graphics and geometric modeling. However, the homotopy type of a mapping between two surfaces has not bee...
135
click to vote
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Broadcast encryption schemes allow a message sender to broadcast an encrypted data so that only legitimate receivers decrypt it. Because of the intrinsic nature of one-to-many comm...
137
Voted
ASSETS
2004
ACM
15 years 9 months ago
2004
ACM
Power wheelchair joysticks have been used to control a mouse cursor on desktop computers, but they offer no integrated text entry solution, confining users to point-and-click or p...