1096 search results - page 78 / 220 » Computation Slicing: Techniques and Theory |
CHI
2005
ACM
15 years 11 months ago
2005
ACM
Using the same application on different devices requires the user to perform a mental transformation in order to adapt his knowledge to a new platform. In this work we describe ho...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
ESOP
2009
Springer
15 years 5 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
APSEC
2001
IEEE
15 years 2 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
EMNLP
2009
14 years 8 months ago
2009
We propose a new model for unsupervised POS tagging based on linguistic distinctions between open and closed-class items. Exploiting notions from current linguistic theory, the sy...