9006 search results - page 1342 / 1802 » Modeling Software |
165
click to vote
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
170
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Aspect-oriented programming languages modularize crosscutting concerns by separating the concerns from a base program in aspects. What they do not modularize well is the code need...
137
click to vote
HPCC
2005
Springer
16 years 7 hour ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...
127
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
This paper will focus on the inter-relationships between media, technology and culture as demonstrated by the online multiplayer FPS scene, and will make explicit the degree to wh...
204
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...