3799 search results - page 206 / 760 » An Engineering Approach to Formal Methods |
130
click to vote
IJCAI
2003
15 years 5 months ago
2003
Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. CP-nets were designed to make the preference elicitation proces...
158
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
118
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
130
click to vote
TFM
2004
Springer
15 years 9 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
139
Voted
MOBIHOC
2009
ACM
16 years 5 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...