1573 search results - page 137 / 315 » Signs and Formal Concepts |
128
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
127
click to vote
BPM
2007
Springer
15 years 3 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
122
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We study the problem of proving in weak theories of Bounded Arithmetic the theorem that there are arbitrarily large prime numbers. We show that the theorem can be proved by some &...
130
Voted
ER
2008
Springer
15 years 3 months ago
2008
Springer
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
108
click to vote
FORTEST
2008
15 years 3 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...