1613 search results - page 246 / 323 » Model-Driven Constraint Engineering |
147
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
148
click to vote
AUIC
2006
IEEE
15 years 10 months ago
2006
IEEE
Pointing is a natural way of communicating. Children in all cultures use pointing inherently. Attaching tags to our environment enables interaction by pointing. Visual tags are a g...
140
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
161
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
149
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
As the importance of multimedia applications in hand-held devices increases, the computational strain and corresponding demand for energy in such devices continues to grow. Portab...