3828 search results - page 327 / 766 » Proof-Based System Engineering Using a Virtual System Model |
166
click to vote
ISPW
2005
IEEE
16 years 7 days ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
192
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
132
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a new approach that can be used to speed up SystemC simulations by automatically optimizing the model for simulation. The work addresses the inefficiency of th...
169
Voted
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
156
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...