3575 search results - page 236 / 715 » Modeling Concurrency with Geometry |
177
click to vote
RE
2009
Springer
16 years 21 days ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
163
click to vote
ISMAR
2008
IEEE
16 years 17 days ago
2008
IEEE
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
145
click to vote
EEMMAS
2007
Springer
16 years 10 days 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...
195
click to vote
ISORC
2005
IEEE
15 years 11 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...
140
click to vote
SPIN
2005
Springer
15 years 11 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...