2139 search results - page 261 / 428 » Connecting language to the world |
AIED
2005
Springer
15 years 4 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
80
Voted
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
87
Voted
UML
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
UML
2005
Springer
15 years 4 months ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
111
click to vote
SWS
2004
ACM
15 years 4 months ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...