Sciweavers

2477 search results - page 112 / 496
» First-Order Interactive Programming
Sort
View
ICSOC
2005
Springer
14 years 2 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
ICMCS
2006
IEEE
127views Multimedia» more  ICMCS 2006»
14 years 3 months ago
Broadcast Video Program Summarization using Face Tracks
We present a novel video summarization and skimming technique using face detection on broadcast video programs. We take the faces in video as our primary target as they constitute...
Kadir A. Peker, Isao Otsuka, Ajay Divakaran
CSMR
2005
IEEE
14 years 2 months ago
Applying Webmining Techniques to Execution Traces to Support the Program Comprehension Process
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
Andy Zaidman, Toon Calders, Serge Demeyer, Jan Par...
SIGCSE
2000
ACM
155views Education» more  SIGCSE 2000»
14 years 1 months ago
A study of common pitfalls in simple multi-threaded programs
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
Sung-Eun Choi, E. Christopher Lewis
ICFP
1999
ACM
14 years 1 months ago
Principals in Programming Languages: A Syntactic Proof Technique
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
Steve Zdancewic, Dan Grossman, J. Gregory Morriset...