3573 search results - page 558 / 715 » Reasoning about Codata |
121
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
127
click to vote
RCIS
2010
15 years 1 months ago
2010
Continuous customer-centric requirements reprioritization is essential in successfully performing agile software development. Yet, in the agile RE literature, very little is known ...
133
click to vote
GIS
2002
ACM
15 years 2 months ago
2002
ACM
This paper contributes a general approach to characterizing patterns of change in a spatio-temporal database. While there is a particular interest in modelling and querying how sp...
148
click to vote
SIGMOD
2008
ACM
15 years 2 months ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
192
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...