603 search results - page 47 / 121 » A Formal Operational Semantics for SOFL |
SEW
2006
IEEE
14 years 2 months 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...
DAGSTUHL
2004
13 years 10 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
DCOSS
2007
Springer
14 years 2 months ago
2007
Springer
With the proliferation of various kinds of sensor networks, we will see large amounts of heterogeneous data. They have different characteristics such as data content, formats, mod...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...