5326 search results - page 419 / 1066 » On what we can ensure |
195
click to vote
ACTA
2005
15 years 6 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
178
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
161
click to vote
JAR
2007
15 years 6 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
164
click to vote
JC
2007
15 years 6 months ago
2007
Compressed sensing is a new area of signal processing. Its goal is to minimize the number of samples that need to be taken from a signal for faithful reconstruction. The performan...
186
click to vote
APIN
2002
15 years 6 months ago
2002
Evolutionary computation has shown a great potential to work out several real-world problems in the point of optimization, but it is still quite far from realizing a system of matc...