1943 search results - page 21 / 389 » Software and higher education |
QSIC
2005
IEEE
14 years 1 months ago
2005
IEEE
While the use of computer applications is widely spread in every business and, hence, the reliability of software is critical, it is believed that many organizations involved in s...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Background: Articles whose authors have supplemented subscription-based access to the publisher's version by selfarchiving their own final draft to make it accessible free fo...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...