692 search results - page 127 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
PCM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Computer techniques have been leveraged to record human experiences in many public spaces, e.g. meeting rooms and classrooms. For the large amount of such records produce...
ISCIS
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We carefully believe that server workload for interactive multimedia service exhibits different characteristics from legacy application, e.g. ftp server, web server, ASP...
INFOCOM
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract—This work develops a discrete-time dynamical feedback system model for a simplified TCP network with RED control and provides a nonlinear analysis that can help in unde...
DAC
2007
ACM
15 years 3 months ago
2007
ACM
Synthetic biology is revolutionizing how we conceptualize and approach the engineering of biological systems. Recent advances in the field are allowing us to expand beyond the con...
WEBIST
2008
15 years 1 months ago
2008
Abstract. Designing and personalising systems for specific user groups encompasses a lot of effort with respect to analysing and understanding user behaviour. The goal of our paper...