21379 search results - page 591 / 4276 » The profession of IT - Evolutionary system development |
174
Voted
FUIN
2008
15 years 7 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
146
Voted
CAD
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a virtual CAD system developed for clothing thermal functional design and simulation. It allows designers and engineers in virtual space to design and preview ...
213
click to vote
ECEASST
2006
15 years 7 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
165
click to vote
JUCS
2008
15 years 7 months ago
2008
: Taking as a starting point (a modification of) a weak theory of arithmetic of Jan Johannsen and Chris Pollett (connected with the hierarchy of counting functions), we introduce s...
158
Voted
COMSIS
2004
15 years 7 months ago
2004
This paper describes architecture, design, and implementation of Multitutor, a Web-based environment for the development the elearning courses and for the use of them by the studen...