Sciweavers

6343 search results - page 505 / 1269
» Development of a Cartographic Language
Sort
View
ICSE
1997
IEEE-ACM
15 years 11 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
15 years 10 months ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...
CIBSE
2008
ACM
15 years 9 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
LREC
2010
170views Education» more  LREC 2010»
15 years 8 months ago
Transcription Methods for Consistency, Volume and Efficiency
This paper describes recent efforts at Linguistic Data Consortium at the University of Pennsylvania to create manual transcripts as a shared resource for human language technology...
Meghan Lammie Glenn, Stephanie Strassel, Haejoong ...
LREC
2010
175views Education» more  LREC 2010»
15 years 8 months ago
Adapting a resource-light highly multilingual Named Entity Recognition system to Arabic
We present a working Arabic information extraction (IE) system that is used to analyze large volumes of news texts every day to extract the named entity (NE) types person, organiz...
Wajdi Zaghouani, Bruno Pouliquen, Mohamed Ebrahim,...