4772 search results - page 332 / 955 » An approach to interface synthesis |
211
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
220
click to vote
ICWE
2005
Springer
16 years 1 months ago
2005
Springer
New Web applications are rapidly moving from stand-alone systems to distributed applications that need to interoperate with third party systems, such as external Web services or le...
172
click to vote
PERVASIVE
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...
219
click to vote
INFOCOM
2003
IEEE
16 years 25 days ago
2003
IEEE
In this paper, we consider the problem of detecting an intruding packet in a communication network. Detection is accomplished by sampling a portion of the packets transiting selec...
164
click to vote
FM
2003
Springer
16 years 23 days ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...