603 search results - page 47 / 121 » A Formal Operational Semantics for SOFL |
143
click to vote
SEW
2006
IEEE
15 years 10 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...
136
Voted
DAGSTUHL
2004
15 years 5 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...
126
Voted
DCOSS
2007
Springer
15 years 10 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...
133
click to vote
ISOLA
2010
Springer
15 years 1 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...
151
click to vote
AIME
2007
Springer
15 years 10 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...