6047 search results - page 138 / 1210 » Modeling with Extend |
106
click to vote
SERP
2004
15 years 3 months ago
2004
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
142
click to vote
IANDC
2010
14 years 11 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
101
Voted
ISIPTA
2003
IEEE
15 years 7 months ago
2003
IEEE
We extend Buja’s concept of “pseudo-capacities”, which comprises the neighbourhood models for classical probabilities commonly used in robust statistics. Although systematic...
127
click to vote
BNCOD
2009
15 years 3 months ago
2009
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...
129
click to vote
IJIS
2011
14 years 5 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...