29143 search results - page 95 / 5829 » A Sortation System Model |
156
click to vote
ECBS
2010
IEEE
15 years 12 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
133
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
155
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
155
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
132
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...