7099 search results - page 330 / 1420 » Context for models of concurrency |
187
Voted
EEMMAS
2007
Springer
16 years 1 months ago
2007
Springer
One motivation for many agent-based models is to predict the future. The nonlinearity of agent interactions in most non-trivial domains mean that the usefulness of such prediction...
244
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
181
click to vote
SPIN
2005
Springer
16 years 1 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
205
click to vote
COOPIS
2002
IEEE
16 years 15 days ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
196
Voted
GI
2009
Springer
16 years 4 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...