3828 search results - page 316 / 766 » Proof-Based System Engineering Using a Virtual System Model |
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
196
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
147
click to vote
ICESS
2007
Springer
16 years 24 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
162
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
153
click to vote
ECIS
2000
15 years 8 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...