3564 search results - page 88 / 713 » Evaluating a Formal Modelling Language |
FDBS
2001
14 years 11 months ago
2001
Integrating data sources is a general problem in many scenarios. The main problem is the heterogeneity between data sources which were created and developed separately. In the lit...
ICGI
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
101
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
108
click to vote
POPL
1997
ACM
15 years 1 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...