1866 search results - page 292 / 374 » Dynamic instantiation-checking components |
123
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
210
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
224
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
113
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
151
click to vote
MOBIHOC
2003
ACM
16 years 2 months ago
2003
ACM
Wireless sensor networks (WSN) are event based systems that rely on the collective effort of several microsensor nodes. Reliable event detection at the sink is based on collective...