7109 search results - page 212 / 1422 » Process Algebra with Combinators |
115
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
206
Voted
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
In the era of digital information, the value of data resides not only in its volume and quality, but also in the additional information that can be inferred from the combination (a...
126
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract--In this letter the performance of multiple relay channels is analyzed for the situation in which multiple antennas are deployed only at the relays. The simple repetition-...
150
click to vote
CAISE
2007
Springer
15 years 10 months ago
2007
Springer
Data cleaning is the process of correcting anomalies in a data source, that may for instance be due to typographical errors, or duplicate representations of an entity. It is a cruc...
123
click to vote
EICS
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...