4693 search results - page 732 / 939 » Verifying Hybrid Systems |
154
click to vote
SOFSEM
2007
Springer
16 years 12 hour ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
136
click to vote
TACAS
2007
Springer
16 years 12 hour ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
154
click to vote
WAIM
2007
Springer
16 years 9 hour ago
2007
Springer
The DBMS performance might change by allocating resources and by performing a specific kind of workload. Database administrators should be able to identify relative resources that ...
203
click to vote
CCECE
2006
IEEE
15 years 12 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
147
click to vote
CSMR
2006
IEEE
15 years 12 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...