2206 search results - page 220 / 442 » Software Engineering and Modeling Education: Problems and So... |
158
click to vote
RE
1997
Springer
15 years 10 months ago
1997
Springer
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
176
click to vote
STORAGESS
2005
ACM
16 years 3 days ago
2005
ACM
The growing number of storage security breaches as well as the need to adhere to government regulations is driving the need for greater storage protection. However, there is the l...
170
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
167
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
185
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...