4919 search results - page 148 / 984 » A Process-Ontological Model for Software Engineering |
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
SAC
2008
ACM
14 years 8 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
FSTTCS
2010
Springer
14 years 8 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
CCE
2011
14 years 5 months ago
2011
The ability of a Reynolds-averaged Navier-Stokes (RANS) approach, coupled with a Lagrangian particle tracking technique, to predict particle re-suspension in a high Reynolds numbe...
182
click to vote
VLSI
2012
Springer
13 years 5 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...