615 search results - page 5 / 123 » Completeness of Combinations of Constructor Systems |
153
click to vote
JLP
2006
15 years 4 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
170
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
140
click to vote
HYBRID
2010
Springer
15 years 2 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...
126
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
121
click to vote
CCIA
2009
Springer
15 years 5 months ago
2009
Springer
The creation of Answer Communities around a FAQs Site is proposed to speed up the process of answering questions. Our approach combines long-term and short-term rewards. Long-term ...