1064 search results - page 137 / 213 » Disjoint Systems (Extended Abstract) |
161
Voted
BRAIN
2010
Springer
15 years 4 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...
126
Voted
JUCS
2008
15 years 3 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
141
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
We present the results of an empirical study evaluating the precision of subset-based points-to analysis with several variations of context sensitivity on Java benchmarks of signif...
173
Voted
JCST
2010
14 years 10 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
160
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Starting from existing spreadsheet software, like Lotus 1-23R , ExcelR , or Spreadsheet 2000R , we propose a sequence of enhancements to fully integrate constraint-based ...