1411 search results - page 267 / 283 » Interactive Coding for Interactive Proofs |
UIST
2006
ACM
15 years 3 months ago
2006
ACM
Prototyping is the pivotal activity that structures innovation, collaboration, and creativity in design. Prototypes embody design hypotheses and enable designers to test them. Fra...
WS
2006
ACM
15 years 3 months ago
2006
ACM
The interoperability of IM (Instant Messaging) and SMS (Short Messaging Service) networks allows users to seamlessly use a variety of computing devices from desktops to cellular p...
ESCIENCE
2005
IEEE
15 years 3 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
UIST
2005
ACM
15 years 3 months ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...