3387 search results - page 224 / 678 » Automating the Metamodeling Process |
178
click to vote
ICSOC
2005
Springer
16 years 23 hour ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
154
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
163
click to vote
AAAI
2008
15 years 8 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
194
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
154
click to vote
HCI
2007
15 years 8 months ago
2007
On Navy ships, technological developments enable crews to work more efficiently and effectively. However, in such complex, autonomous, and information-rich environments a competiti...