Sciweavers

3006 search results - page 101 / 602
» Overview
Sort
View
CAI
2009
Springer
15 years 9 months ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink
ICLP
2010
Springer
15 years 7 months ago
Cutting-Edge Timing Analysis Techniques
This text gives an overview about my current research in timing analysis
Jakob Zwirchmayr
ACL
2009
15 years 29 days ago
Automatically Generating Wikipedia Articles: A Structure-Aware Approach
In this paper, we investigate an approach for creating a comprehensive textual overview of a subject composed of information drawn from the Internet. We use the high-level structu...
Christina Sauper, Regina Barzilay
CAV
2009
Springer
105views Hardware» more  CAV 2009»
16 years 3 months ago
Transactional Memory: Glimmer of a Theory
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...
Rachid Guerraoui, Michal Kapalka
AICT
2006
IEEE
15 years 9 months ago
Creation of internet-telephony services using Siplet technology
This paper deals with the design of telecommunications services using the SIP protocol. We give an overview of SIP and an overview of the programming models CGI and Servlets toget...
Qiang Fan, Roch H. Glitho, Ahmed Khoumsi