2941 search results - page 307 / 589 » The Myth of the Educational Computer |
182
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
142
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised p...
149
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
203
click to vote
FECS
2009
15 years 4 months ago
2009
- Service Oriented Architecture (SOA) is finding increasing acceptance in industry for the design of enterprise-scale, networked applications. However, opportunities to study SOA i...
112
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...