3055 search results - page 248 / 611 » Conceptual Modeling for Data Integration |
167
click to vote
JCS
2010
15 years 19 days ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
177
click to vote
IEEEARES
2008
IEEE
16 years 7 days ago
2008
IEEE
Trust and its role in e-commerce is a major topic for researchers, clients, and service providers alike. However, questions of origin and practical usage of trust in e-commerce ar...
195
click to vote
AAAI
2012
13 years 8 months ago
2012
Twitter sentiment analysis (TSA) has become a hot research topic in recent years. The goal of this task is to discover the attitude or opinion of the tweets, which is typically fo...
179
click to vote
ER
2007
Springer
16 years 10 hour ago
2007
Springer
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...
175
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...