10568 search results - page 178 / 2114 » Computer Intelligence and Formalization |
121
Voted
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
100
Voted
CCGRID
2008
IEEE
15 years 4 months ago
2008
IEEE
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
118
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
127
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
104
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...