448 search results - page 68 / 90 » A Meta-Method for Formal Method Integration |
108
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
128
Voted
FLAIRS
2001
15 years 4 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
144
Voted
ER
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
114
Voted
AAAI
2006
15 years 4 months ago
2006
Composing existing Web services to deliver new functionality is a difficult problem as it involves resolving semantic, syntactic and structural differences among the interfaces of...
130
click to vote
JAPLL
2008
15 years 2 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...