Sciweavers

6104 search results - page 144 / 1221
» Constructing Information Bases Using Associative Structures
Sort
View
146
Voted
SOFTVIS
2010
ACM
15 years 3 months ago
Towards anomaly comprehension: using structural compression to navigate profiling call-trees
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
Shen Lin 0003, François Taïani, Thomas...
111
Voted
ICIW
2008
IEEE
15 years 10 months ago
A Framework for Generic Internet-Based Information Notification
This paper introduces a framework to monitor information available dynamically on the Internet through web services, RSS feeds or dynamic HTML documents based on user defined crit...
Nader Mohamed, Jameela Al-Jaroodi, Imad Jawhar
159
Voted
ASE
2005
140views more  ASE 2005»
15 years 3 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
132
Voted
GEOS
2007
Springer
15 years 9 months ago
A Rule-Based Description Framework for the Composition of Geographic Information Services
SDIs offer access to a wealth of distributed data sources through standardised service interfaces. Recently, also geoprocessing capabilities are offered as services in SDIs. Combin...
Michael Lutz, Roberto Lucchi, Anders Friis-Christe...
124
Voted
DIM
2009
ACM
15 years 10 months ago
Mnikr: reputation construction through human trading of distributed social identities
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...
Brendan Francis O'Connor, John Linwood Griffin