1564 search results - page 49 / 313 » Extensions to the Estimation Calculus |
102
click to vote
JFP
2006
15 years 1 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
177
Voted
HYBRID
2011
Springer
14 years 1 months ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
135
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
126
click to vote
JUCS
2008
15 years 1 months ago
2008
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
103
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Recent studies have shown that the majority of today's internet traffic is related to Peer to Peer (P2P) traffic. The study of bandwidth in P2P networks is very important. Bec...