1733 search results - page 105 / 347 » On the naturalness of software |
182
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
141
click to vote
IJCNLP
2004
Springer
15 years 11 months ago
2004
Springer
We present a deep computational Modern Greek grammar. The grammar is written in HPSG and is being developed in a multilingual context with MRS semantics, contributing to an open-so...
153
click to vote
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
The Goal Based Requirements Analysis Tool GBRAT is designed to support goal-based requirements analysis. The tool provides procedural support for the identi cation, elaboration, r...
155
click to vote
HAIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a multi-agent system for security control on industrial environments. The system uses a set of wireless technologies and software agents which integrate reasoni...
170
click to vote
CONSTRAINTS
1998
15 years 6 months ago
1998
Graphs are widely used for information visualization purposes, since they provide a natural and intuitive tation of complex abstract structures. The automatic generation of drawing...