1541 search results - page 227 / 309 » Tools and Techniques for Model Checking Networked Programs |
117
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
114
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
95
Voted
CORR
2000
Springer
15 years 12 days ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...
119
Voted
DOCENG
2010
ACM
15 years 1 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
133
Voted
EMNLP
2010
14 years 10 months ago
2010
Extant Statistical Machine Translation (SMT) systems are very complex softwares, which embed multiple layers of heuristics and embark very large numbers of numerical parameters. A...