154 search results - page 20 / 31 » Version Control in the Inscape Environment |
MACH
1990
14 years 10 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
REX
1991
15 years 28 days ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
118
click to vote
LSGRID
2004
Springer
15 years 2 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
DAWAK
2003
Springer
15 years 2 months ago
2003
Springer
In a data warehouse (DW) environment, when the operational environment does not posses or does not want to inform the data about the changes that occurred, controls have to be impl...
109
click to vote
ICSE
2012
IEEE-ACM
12 years 11 months ago
2012
IEEE-ACM
—At ICSE 2010, the Code Bubbles team from Brown University and the Code Canvas team from Microsoft Research presented similar ideas for new user experiences for an integrated dev...