3481 search results - page 377 / 697 » Architecture as Object Models of Software |
145
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
202
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
146
click to vote
DOOD
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Semistructured data has no absolute schema xed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigi...
151
click to vote
EDOC
2008
IEEE
15 years 6 months ago
2008
IEEE
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...
156
click to vote
CLUSTER
2000
IEEE
15 years 9 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...