4209 search results - page 300 / 842 » Abstract Dialectical Frameworks |
191
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
190
click to vote
BIS
2010
15 years 8 months ago
2010
Abstract. Integrating data mining into business processes becomes crucial for business today. Modern business process management frameworks provide great support for flexible desig...
165
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Users often search for entities instead of documents and in this setting are willing to provide extra input, in addition to a query, such as category information and exam...
197
click to vote
COLOGNETWENTE
2008
15 years 8 months ago
2008
Abstract. A reformulation of a mathematical program is a formulation which shares some properties with, but is in some sense better than, the original program. Reformulations are i...
178
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Efficient and effective routing of content-based queries is an emerging problem in peer-to-peer networks, and can be seen as an extension of the traditional “resource ...