2933 search results - page 334 / 587 » Agent-Grid Integration Language |
138
click to vote
ENTCS
2006
15 years 3 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
147
click to vote
ENTCS
2006
15 years 3 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
120
Voted
FAC
2006
15 years 3 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
ENTCS
2007
15 years 3 months ago
2007
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
237
click to vote
ICDE
2005
IEEE
16 years 5 months ago
2005
IEEE
Modern information systems often store data that has been transformed and integrated from a variety of sources. This integration may obscure the original source semantics of data ...