1318 search results - page 114 / 264 » The formal semantics of the timeER model |
157
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
193
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
177
click to vote
EJC
2008
15 years 7 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
185
click to vote
SEW
2006
IEEE
16 years 12 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
188
click to vote
CAISE
2007
Springer
16 years 18 days ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...