1107 search results - page 47 / 222 » XAIRA : software for language analysis |
VL
1994
IEEE
14 years 2 months ago
1994
IEEE
Developers of new imageanalysis algorithmstypically require an interactive environment in which the imagedata can be passed through various operators, some of which may involve fe...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
APIN
2007
13 years 10 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
AADEBUG
1997
Springer
14 years 2 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...