502 search results - page 29 / 101 » Development and Application of a Formal Agent Framework |
130
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
135
click to vote
ADAEUROPE
2001
Springer
15 years 8 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
143
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
123
click to vote
EOR
2006
15 years 4 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
158
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Wrapping databases allows them to be reused in formerly unplanned contexts, such as web-based applications or federated systems. Indeed, a wrapper can provide external clients of ...