Sciweavers

13181 search results - page 2459 / 2637
» Design and Implementation of Cohesion
Sort
View
ISSTA
2009
ACM
16 years 1 months ago
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter H...
MM
2009
ACM
172views Multimedia» more  MM 2009»
16 years 1 months ago
Concept, content and the convict
This paper describes the concepts behind and implementation of the multimedia art work Alan01 / AlanOnline, which wakes up the 1952 criminally convicted Alan Turing as a piece of ...
Mika Luma Tuomola, Teemu Korpilahti, Jaakko Pesone...
MOBICOM
2009
ACM
16 years 1 months ago
Scheduling partition for order optimal capacity in large-scale wireless networks
The capacity scaling property specifies the changes in network throughput when network size increases and serves as an essential performance evaluation metric for large-scale wir...
Yi Xu, Wenye Wang
MOBILITY
2009
ACM
16 years 1 months ago
UbiPay: minimizing transaction costs with smart mobile payments
Implementing an electronic payment system involves striking a balance between usability and security. Systems that allow payments to be completed with little effort on the part of...
Vili Lehdonvirta, Hayuru Soma, Hitoshi Ito, Tetsuo...
SACMAT
2009
ACM
16 years 1 months ago
Trojan horse resistant discretionary access control
Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandat...
Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang
« Prev « First page 2459 / 2637 Last » Next »