2171 search results - page 58 / 435 » A Generic Process Algebra |
111
click to vote
ICAIL
2007
ACM
15 years 4 months ago
2007
ACM
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
100
click to vote
SIAMSC
2010
14 years 11 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
115
Voted
VLDB
1992
ACM
15 years 4 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...
109
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...