15784 search results - page 2895 / 3157 » Mega Software Engineering |
163
click to vote
EVOW
2010
Springer
16 years 1 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 ...
174
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
172
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
159
click to vote
FOSSACS
2010
Springer
16 years 1 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 ...
161
click to vote
ACHI
2009
IEEE
16 years 1 months ago
2009
IEEE
In today’s continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap b...