5832 search results - page 705 / 1167 » Software complexity and maintainability |
187
click to vote
WSC
1998
15 years 8 months ago
1998
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...
180
click to vote
WCET
2007
15 years 8 months ago
2007
Body area network (BAN) applications have stringent timing requirements. The timing behavior of a BAN application is determined not only by the software complexity, inputs, and ar...
229
click to vote
CASC
2009
Springer
15 years 8 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
193
click to vote
ENTCS
2008
15 years 7 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
208
click to vote
ENTCS
2006
15 years 7 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...