Sciweavers

3388 search results - page 227 / 678
» Type-theoretic design patterns
Sort
View
NOMS
2010
IEEE
228views Communications» more  NOMS 2010»
15 years 4 months ago
DA VINCI: A tool to improve VoIP call routing configurations
As IP telephony becomes a critical part of the enterprise network infrastructure, there is an increasing need for tools to help manage VoIP systems. In this paper, we introduce DA ...
Kunwadee Sripanidkulchai, Shu Tao, Zon-Yin Shae
CAI
2010
Springer
15 years 3 months ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...

Publication
384views
16 years 3 months ago
What are Good Apertures for Defocus Deblurring?
In recent years, with camera pixels shrinking in size, images are more likely to include defocused regions. In order to recover scene details from defocused regions, deblurring tec...
Changyin Zhou, Shree Nayar
IPPS
2007
IEEE
16 years 24 days ago
Model-Driven Performance Analysis Methodology for Distributed Software Systems
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
Swapna S. Gokhale, Paul J. Vandal, Aniruddha S. Go...
HAPTICS
2006
IEEE
16 years 17 days ago
Two-dimensional Scanning Tactile Display using Ultrasound Radiation Pressure
In this paper, we propose a new tactile display which produces spatio-temporal stress patterns on a 2-D plane. The first prototype of the display consists of an octagonal arrange...
Takayuki Iwamoto, Hiroyuki Shinoda