3799 search results - page 667 / 760 » An Engineering Approach to Formal Methods |
123
click to vote
ACSC
2009
IEEE
15 years 11 months ago
2009
IEEE
Microdata protection is a hot topic in the field of Statistical Disclosure Control, which has gained special interest after the disclosure of 658000 queries by the America Online...
127
click to vote
IRI
2009
IEEE
15 years 11 months ago
2009
IEEE
Traditional schema matchers use a set of distinct simple matchers and use a composition function to combine the individual scores using an arbitrary order of matcher application l...
160
click to vote
VRST
2009
ACM
15 years 11 months ago
2009
ACM
Simulating crowds in complex environment is fascinating and challenging, however, modeling of the environment is always neglected in the past, which is one of the essential proble...
128
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
– With the World Wide Web popularity the information retrieval area has a new challenge intending to retrieve information resources by their meaning by using a knowledge base. No...
123
Voted
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...