Sciweavers

794 search results - page 113 / 159
» Evaluation of Assertion Support for the Java Programming Lan...
Sort
View
162
Voted
CHI
2010
ACM
14 years 11 months ago
Expressive robots in education: varying the degree of social supportive behavior of a robotic tutor
Teaching is inherently a social interaction between teacher and student. Despite this knowledge, many educational tools, such as vocabulary training programs, still model the inte...
Martin Saerbeck, Tom Schut, Christoph Bartneck, Ma...
116
Voted
ICC
2007
IEEE
15 years 8 months ago
A Support System for Designing Ubiquitous Service Composition Scenarios
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
Takaaki Moriya, Hiroyuki Ohnishi, Makoto Yoshida, ...
VEE
2005
ACM
199views Virtualization» more  VEE 2005»
15 years 8 months ago
Escape analysis in the context of dynamic compilation and deoptimization
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
Thomas Kotzmann, Hanspeter Mössenböck
ESOP
2009
Springer
15 years 9 months ago
An Interval-Based Inference of Variant Parametric Types
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengch...
CP
2007
Springer
15 years 8 months ago
Advisors for Incremental Propagation
Abstract. While incremental propagation for global constraints is recognized to be important, little research has been devoted to how propagator-centered constraint programming sys...
Mikael Z. Lagerkvist, Christian Schulte