2268 search results - page 62 / 454 » The Essence of Form Abstraction |
PAM
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents the Clarified system for passive network . It is based on capturing complete packet history and abstracting it in form of different interactive high-level visua...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
MDM
2004
Springer
14 years 1 months ago
2004
Springer
Mobile agents have often been advocated as the solution to the problem of designing and implementing distributed applications in a dynamic environment. Mobile agents provide a ver...
TSD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
ICPP
1993
IEEE
14 years 6 days ago
1993
IEEE
Abstract Data-parallel algorithms for R-trees, a common spatial data structure are presented, in the domain of planar line segment data e.g., Bureau of the Census TIGER Line les ....