Sciweavers

2451 search results - page 149 / 491
» The Octagon Abstract Domain
Sort
View
ISMIS
1997
Springer
15 years 11 months ago
Automating Spoken Dialogue Systems
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
Mona Singh, James Barnett, Munindar P. Singh
SAS
1994
Springer
105views Formal Methods» more  SAS 1994»
15 years 11 months ago
Efficient Strictness Analysis of Haskell
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
Kristian Damm Jensen, Peter Hjæresen, Mads R...
IICS
2010
Springer
15 years 11 months ago
Rearchitecting DNS
Abstract. The Domain Name System (DNS) has been the naming service of the Internet for more than 20 years. It is the foundation of virtually all other distributed service. The deļ¬...
Gert Pfeifer, Christof Fetzer, Martin Steuer
APNOMS
2006
Springer
15 years 10 months ago
An Admission Control and Traffic Engineering Model for Diffserv-MPLS Networks
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
Haci A. Mantar
CAISE
2006
Springer
15 years 10 months ago
A Framework for the Behavior Based Integration of Business Processes
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
Georg Grossmann, Michael Schrefl, Markus Stumptner