1454 search results - page 88 / 291 » Stateful traits and their formalization |
99
Voted
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
SAS
2000
Springer
15 years 4 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
92
Voted
ICDCSW
2006
IEEE
15 years 6 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
105
click to vote
ICADL
2003
Springer
15 years 5 months ago
2003
Springer
: Metadata++ is a digital library system that we are developing to serve the needs of the United States Department of Agriculture Forest Service, the United States Department of th...