10159 search results - page 1766 / 2032 » System Design Validation Using Formal Models |
181
click to vote
DEXA
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes a new benchmark for object-relational DBMSs, the Benchmark for Object-Relational Databases (BORD). BORD has been developed to evaluate system performance pecul...
182
click to vote
LREC
2010
15 years 8 months ago
2010
The paper presents results of an experiment dealing with sentiment analysis of Croatian text from the domain of finance. The goal of the experiment was to design a system model fo...
159
click to vote
JWSR
2007
15 years 6 months ago
2007
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
211
click to vote
JSAC
2011
15 years 1 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...
160
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
A number of existing information retrieval systems propose the notion of query context to combine the knowledge of query and user into retrieval to reveal the most exact descripti...