1195 search results - page 20 / 239 » Modeling an Algebraic Stepper |
125
Voted
JAIR
2000
15 years 1 months ago
2000
We introduce a temporal model for reasoning on disjunctive metric constraints on intervals and time points in temporal contexts. This temporal model is composed of a labeled tempo...
94
Voted
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
116
Voted
AMAST
2000
Springer
15 years 6 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
126
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Relational algebra has been a crucial foundation for relational database systems, and has played a large role in enabling their success. A corresponding XML algebra for X...
SIP
2001
15 years 3 months ago
2001
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...