569 search results - page 32 / 114 » The Sisyphus Continuous Integration System |
108
click to vote
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents an analysis of the impacts of electronic commerce on proactive firms in the connectivity equipment industry. Electronic commerce initiatives identified in the ...
153
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
144
Voted
DEBU
2010
15 years 3 months ago
2010
Databases supporting time dependent and continuously changing geometries, called moving objects databases, have been studied for about 15 years. The field has been flourishing and...
110
click to vote
JIRS
2006
15 years 3 months ago
2006
This paper deals with a novel method of continuous-time model-predictive control for nonlinear time-delayed systems. The problems relating to time delays are solved by incorporatin...
247
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...