9006 search results - page 1641 / 1802 » Modeling Software |
148
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...
144
click to vote
CC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
130
Voted
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
120
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
143
click to vote
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...