13306 search results - page 2316 / 2662 » Theoretical Computer Science |
188
click to vote
IEEECIT
2009
IEEE
16 years 2 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
169
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
171
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—We exhibit a deterministic concurrent reachability game PURGATORYn with n non-terminal positions and a binary choice for both players in every position so that any positional st...
200
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
219
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...