4280 search results - page 56 / 856 » Mechanisms for information elicitation |
ICONIP
2009
13 years 7 months ago
2009
Malware (Malicious Software) of Windows OS has become more sophisticated. To take some countermeasures for recent infection, more intelligent and automated system log analysis is n...
ENASE
2010
13 years 4 months ago
2010
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a generated in abstract syntax and then...
SAC
2004
ACM
14 years 3 months ago
2004
ACM
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Based on interviews with projec...
ISCI
2000
13 years 9 months ago
2000
The branch of semiotics called semantics deals with the relation between meanings and representations, widely known as the symbol grounding problem. The other branches of semiotic...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...