4211 search results - page 377 / 843 » A formal approach to MASQ |
186
click to vote
JWSR
2007
15 years 6 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
195
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
222
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
208
click to vote
KAIS
2010
15 years 5 months ago
2010
We argue that expert finding is sensitive to multiple document features in an organizational intranet. These document features include multiple levels of associations between expe...
213
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...