5634 search results - page 292 / 1127 » About Abstract Classes |
167
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
124
Voted
WCRE
2002
IEEE
15 years 10 months ago
2002
IEEE
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
132
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
139
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
156
click to vote
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
The rewriting calculus, or Rho Calculus (ρCal), is a simple calculus that uniformly integrates abstraction on patterns and nondeterminism. Therefore, it fully integrates rewriting...