5550 search results - page 996 / 1110 » Different Approaches to Proof Systems |
142
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper analyzes the trustor and trustee factors that lead to inter-personal trust using a well studied Trust Antecedent framework in management science [10]. To apply these fac...
209
click to vote
ICMLA
2009
15 years 4 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
204
click to vote
ICOODB
2009
15 years 4 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
261
click to vote
ISJGP
2010
15 years 3 months ago
2010
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
190
click to vote
CAISE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...