Sciweavers

3013 search results - page 149 / 603
» Context-Oriented Domain Analysis
Sort
View
SAS
2007
Springer
16 years 16 days ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
IWPC
1997
IEEE
15 years 10 months ago
A Case Study of Domain-based Program Understanding
Program understanding relates a computer program to the goals and requirements it is designed to accomplish. Understanding techniques that rely only on source code analysis are li...
Richard Clayton, Spencer Rugaber, Lyman Taylor, Li...
CRIWG
2008
15 years 7 months ago
Comparing Usage Performance on Mobile Applications
This paper presents an analysis tool for comparative and collaborative evaluation of mobile artefact usage. Three scenarios were envisioned for the comparative dimension covering b...
Luís Carriço, Luís Duarte, An...
ICMCS
2008
IEEE
207views Multimedia» more  ICMCS 2008»
16 years 26 days ago
Analyzing video concept detectors visually
In this demonstration we showcase an interactive analysis tool for researchers working on concept-based video retrieval. By visualizing intermediate concept detection analysis sta...
Cees G. M. Snoek, Richard van Balen, Dennis Koelma...
CIE
2005
Springer
15 years 12 months ago
Towards Computability of Higher Type Continuous Data
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
Margarita V. Korovina, Oleg V. Kudinov