494 search results - page 30 / 99 » On Some Epistemological Problems of Software Engineering |
75
Voted
ICSE
2007
IEEE-ACM
2007
IEEE-ACM
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
15 years 9 months ago
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
AC
2003
Springer
15 years 2 months ago
2003
Springer
Concentration inequalities deal with deviations of functions of independent random variables from their expectation. In the last decade new tools have been introduced making it pos...
94
Voted
FSTTCS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
EDBTW
2004
Springer
15 years 3 months ago
2004
Springer
The problem of answering queries posed to a peer who is a member of a peer-to-peerdataexchangesystemisstudied.Theanswershavetobeconsistentwrt to both the local semantic constraints...
FSTTCS
1993
Springer
15 years 1 months ago
1993
Springer
We study the complexity of several standard problems for 1-safe Petri nets and some of its subclasses. We prove that reachability, liveness, and deadlock are all PSPACE-complete f...