1318 search results - page 63 / 264 » The formal semantics of the timeER model |
SKG
2006
IEEE
15 years 8 months ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
104
click to vote
DBPL
2003
Springer
15 years 7 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
116
click to vote
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
118
click to vote
IFM
2010
Springer
15 years 13 days ago
2010
Springer
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
ADBIS
2005
Springer
15 years 7 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...