1128 search results - page 34 / 226 » Little Engines of Proof |
75
Voted
INFSOF
2006
14 years 9 months ago
2006
Much research on open source software development concentrates on developer lists and other software repositories to investigate what motivates professional software developers to...
97
Voted
ESEM
2007
ACM
15 years 1 months ago
2007
ACM
Context: There is little empirical knowledge of the effectiveness of the object-oriented paradigm. Objectives: To conduct a systematic review of the literature describing empirica...
108
click to vote
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
Existing mature ontology engineering approaches are based on some basic assumptions that are often violated in practice, in particular in the Semantic Web. Ontologies often need to...
117
Voted
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...
78
Voted
ACSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...