1604 search results - page 136 / 321 » Development Separation in Lambda-Calculus |
WSC
2008
14 years 21 days ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
CHI
2010
ACM
2010
ACM
Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions
14 years 12 days ago
We examine opportunities for ubiquitous technologies in retail shopping, jewelry shopping in this case, to supplement the unique information needs inherent to physical trials of t...
CAV
2008
Springer
14 years 12 days ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
AICCSA
2005
IEEE
14 years 11 days ago
2005
IEEE
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...
CVPR
2005
IEEE
14 years 10 days ago
2005
IEEE
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...