Sciweavers

60 search results - page 6 / 12
» ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requir...
Sort
View
SERP
2003
13 years 8 months ago
A Process for BDI Agent-Based Software Construction
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
Chang-Hyun Jo, Jeffery M. Einhorn
NAACL
2010
13 years 5 months ago
Automatic Diacritization for Low-Resource Languages Using a Hybrid Word and Consonant CMM
We are interested in diacritizing Semitic languages, especially Syriac, using only diacritized texts. Previous methods have required the use of tools such as part-of-speech tagger...
Robbie Haertel, Peter McClanahan, Eric K. Ringger
ICFEM
2004
Springer
14 years 26 days ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
WSC
2008
13 years 9 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
ENTCS
2008
87views more  ENTCS 2008»
13 years 7 months ago
A Lightweight Approach for the Semantic Validation of Model Refinements
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
Claudia Pons, Diego García