6348 search results - page 1006 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
125
Voted
ISSRE
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
151
Voted
COMPSAC
2010
IEEE
15 years 15 days ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
148
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
106
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Web Clustering is useful for several activities in the WWW, from automatically building web directories to improve retrieval performance. Nevertheless, due to the huge size of the...
219
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...