4117 search results - page 710 / 824 » On the Satisfiability of Complex Constraints |
204
click to vote
VL
2005
IEEE
16 years 2 days ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
174
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Many multi-agent systems consist of a complex network of autonomous yet interdependent agents. Examples of such networked multi-agent systems include supply chains and sensor netw...
171
click to vote
DEXA
2005
Springer
16 years 1 days ago
2005
Springer
Bitmap indices are efficient data structures for processing complex, multi-dimensional queries in data warehouse applications and scientific data analysis. For high-cardinality at...
176
click to vote
DSVIS
2005
Springer
16 years 1 days ago
2005
Springer
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
173
click to vote
ECSQARU
2005
Springer
16 years 1 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...