367 search results - page 71 / 74 » On Underspecified Processing of Dynamic Semantics |
ICFP
2007
ACM
14 years 6 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...
BIBM
2008
IEEE
14 years 1 months ago
2008
IEEE
In the post-genomic era, the organization of genes into networks has played an important role in characterizing the functions of individual genes and the interplay between them. I...
RTAS
2003
IEEE
13 years 12 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
ANLP
1997
13 years 8 months ago
1997
Identifying the occurrences of proper names in text and the entities they refer to can be a difficult task because of the manyto-many mapping between names and their referents. We...
WWW
2006
ACM
14 years 7 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...