7820 search results - page 258 / 1564 » Formalization of Time and Space |
216
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
202
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
201
click to vote
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
170
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the dif...
197
click to vote
DEXA
1994
Springer
15 years 11 months ago
1994
Springer
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...