906 search results - page 73 / 182 » Linking Theories of Concurrency |
193
click to vote
ATVA
2007
Springer
16 years 11 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
122
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
157
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
164
click to vote
AIML
2004
15 years 7 months ago
2004
abstract. Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as wel...
176
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...