4418 search results - page 622 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
170
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Web processes must often operate in volatile environments where the quality of service parameters of the participating service providers change during the life time of the process...
201
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
175
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
188
click to vote
ICEBE
2007
IEEE
16 years 28 days ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
167
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...