9006 search results - page 331 / 1802 » Modeling Software |
173
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
193
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
200
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
176
click to vote
ECOWS
2007
Springer
16 years 25 days ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
158
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Today’s software operate in a dynamic, organizational context and hence, it needs flexible architectures based in social and intentional concepts to enable software to evolve con...