3828 search results - page 590 / 766 » Proof-Based System Engineering Using a Virtual System Model |
193
click to vote
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper proposes a general scheduling model that extends job-shop scheduling models to incorporate important features of real manufacturing systems. More precisely, each oper...
145
click to vote
CAISE
1993
Springer
15 years 10 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
181
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
176
click to vote
ASWSD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
169
click to vote
C3S2E
2009
ACM
15 years 10 months ago
2009
ACM
Most database systems (DBMSs) today are operating on servers equipped with magnetic disks. In our contribution, we want to motivate the use of two emerging and striking technologi...