4480 search results - page 43 / 896 » Prototyping Completion with Constraints Using Computational ... |
146
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
121
Voted
WMCSA
2002
IEEE
15 years 8 months ago
2002
IEEE
Coordinating the interactions of applications running on the diversity of both mobile and embedded devices that will be common in ubiquitous computing environments is still a diff...
126
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
This paper presents a platform in which interaction designers can effectively and rapidly develop tangible interactive prototypes by sketching. The study aims to build a platform ...
143
Voted
ENTCS
2007
15 years 3 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
104
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...