489 search results - page 51 / 98 » Reasoning about confidentiality at requirements engineering ... |
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...
172
Voted
IHI
2012
13 years 8 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
106
Voted
VLSI
2007
Springer
15 years 6 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
CGO
2003
IEEE
15 years 5 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
ER
2008
Springer
15 years 2 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...