Sciweavers

8587 search results - page 28 / 1718
» Interactive dynamic abstraction
Sort
View
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
16 years 6 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
ICWE
2007
Springer
16 years 2 days ago
Engineering Semantic-Based Interactive Multi-device Web Applications
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...
Pieter Bellekens, Kees van der Sluijs, Lora Aroyo,...
132
Voted
INFOCOM
2003
IEEE
15 years 11 months ago
Interaction of TCP Flows as Billiards
Abstract— The aim of this paper is to analyze the performance of a large number of long lived TCP controlled flows sharing many routers (or links), from the knowledge of the net...
François Baccelli, Dohy Hong
MICCAI
1999
Springer
15 years 10 months ago
Interactive Medical Image Segmentation with United Snakes
Abstract. Snakes have become a standard image analysis technique with several variants now in common use. We have developed a software package called “United Snakes”. It unifi...
Jianming Liang, Tim McInerney, Demetri Terzopoulos
ENTCS
2008
83views more  ENTCS 2008»
15 years 6 months ago
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
Andreas Rossberg