7988 search results - page 80 / 1598 » A Useful Undecidable Theory |
ADAEUROPE
2008
Springer
14 years 3 months ago
2008
Springer
The Cheddar project deals with real time scheduling theory. Many industrial projects do not perform performance analysis with real time scheduling theory even if the demand for the...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
SOCO
2007
Springer
14 years 3 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...