3006 search results - page 101 / 602 » Overview |
116
click to vote
CAI
2009
Springer
15 years 9 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
110
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
This text gives an overview about my current research in timing analysis
137
click to vote
ACL
2009
15 years 29 days ago
2009
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...
109
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
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...
108
click to vote
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
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...