1636 search results - page 26 / 328 » Reasoning About Quantum Systems |
140
Voted
JLP
2007
15 years 1 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
108
Voted
EPEW
2005
Springer
15 years 7 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
124
click to vote
JUCS
2008
15 years 1 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
143
Voted
IVC
2008
15 years 1 months ago
2008
A framework for the logical and statistical analysis and annotation of dynamic scenes containing occlusion and other uncertainties is presented. This framework consists of three e...
122
Voted
ECMDAFA
2008
Springer
15 years 3 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...