4772 search results - page 332 / 955 » An approach to interface synthesis |
188
Voted
AIED
2005
Springer
16 years 12 days 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 ...
199
Voted
ICWE
2005
Springer
16 years 11 days 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...
160
Voted
PERVASIVE
2005
Springer
16 years 10 days 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...
194
click to vote
INFOCOM
2003
IEEE
16 years 4 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...
153
click to vote
FM
2003
Springer
16 years 2 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...