2370 search results - page 397 / 474 » On the Revival of Dynamic Languages |
140
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
145
Voted
TGC
2005
Springer
15 years 11 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
197
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...
157
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
157
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. We describe an architecture for building speech-enabled conversational agents, deployed as self-contained Web services, with ability to provide inference processing on ve...