4693 search results - page 669 / 939 » Verifying Hybrid Systems |
149
click to vote
AAAI
2004
15 years 8 months ago
2004
Computer systems are rapidly becoming so complex that maintaining them with human support staffs will be prohibitively expensive and inefficient. In response, visionaries have beg...
195
click to vote
ACSW
2006
15 years 8 months ago
2006
Service providers of the future could dynamically negotiate for, and create their infrastructure on Grid based utility computing and communication providers. Such commercialisatio...
194
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper presents power flow models of a self-excited induction generator. These models are used for steady-state power flow calculation in electric power systems in which a g...
183
click to vote
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
161
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...