1096 search results - page 78 / 220 » Computation Slicing: Techniques and Theory |
CHI
2005
ACM
14 years 9 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
14 years 3 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
14 years 3 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
14 years 23 days 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
13 years 7 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...