4386 search results - page 644 / 878 » A Tamper-Resistant Programming Language System |
125
Voted
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—Customization of systems is costly, but it is necessary to better meet the needs of multi-various tasks and requirements in the fields such as medical care, education, ...
157
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
116
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
123
Voted
DEXAW
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We discuss issues related to the design of a multitouch gesture sensing environment, allowing the user to execute both independent and coordinated gestures. We discuss d...
98
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...