3828 search results - page 731 / 766 » Proof-Based System Engineering Using a Virtual System Model |
95
Voted
SIGGRAPH
2000
ACM
15 years 6 months ago
2000
ACM
This paper introduces and presents a solution to the “Escherization” problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
132
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
138
Voted
PVLDB
2010
15 years 18 days ago
2010
Many DBMS products in the market provide built in encryption support to deal with the security concerns of the organizations. This solution is quite effective in preventing data ...
150
Voted
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
147
Voted
ISPASS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...