1799 search results - page 321 / 360 » The Logic of Correctness in Software Engineering |
193
click to vote
AOSD
2010
ACM
16 years 27 days ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
174
click to vote
VMCAI
2009
Springer
16 years 24 days ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
195
click to vote
ICST
2009
IEEE
16 years 21 days ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
209
click to vote
ICFEM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
152
click to vote
UIST
2009
ACM
16 years 16 days ago
2009
ACM
Because functional near-infrared spectroscopy (fNIRS) eases many of the restrictions of other brain sensors, it has potential to open up new possibilities for HCI research. From o...