3316 search results - page 283 / 664 » Mining Software Engineering Data |
170
Voted
VMCAI
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
234
Voted
PODS
2009
ACM
16 years 4 months ago
2009
ACM
As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significance of discovered patterns is b...
139
Voted
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
136
Voted
EDBTW
2010
Springer
15 years 7 months ago
2010
Springer
Business Intelligence (BI) applications allow their users to query, understand, and analyze existing data within their organizations in order to acquire useful knowledge, thus mak...
114
Voted
IRI
2003
IEEE
15 years 9 months ago
2003
IEEE
Distributed collaboration over the Internet has become increasingly common in recent years, supported by various technologies such as virtual workspace systems. Often such collabo...