1146 search results - page 165 / 230 » Formal Specification Generation from Requirement Documents |
KDD
2008
ACM
15 years 10 months ago
2008
ACM
In this work, we address the problem of joint modeling of text and citations in the topic modeling framework. We present two different models called the Pairwise-Link-LDA and the ...
BMCBI
2007
14 years 10 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
BMCBI
2005
14 years 9 months ago
2005
Background: Cellular processes require the interaction of many proteins across several cellular compartments. Determining the collective network of such interactions is an importa...
102
click to vote
AICT
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...