469 search results - page 61 / 94 » Reasoning About Method Calls in Interface Specifications |
ECOOP
2004
Springer
14 years 2 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
SIGMOD
1998
ACM
14 years 26 days ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
IJON
2006
13 years 8 months ago
2006
We present an application of Independent Component Analysis (ICA) to the discrimination of mental tasks for EEG-based Brain Computer Interface systems. ICA is most commonly used w...
ASWEC
2010
IEEE
13 years 8 months ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
MIR
2004
ACM
14 years 2 months ago
2004
ACM
An increasing amount of heterogeneous information about scientific research is becoming available on-line. This potentially allows users to explore the information from multiple p...