Sciweavers

569 search results - page 34 / 114
» Intent Specifications: An Approach to Building Human-Centere...
Sort
View
ISESE
2005
IEEE
15 years 5 months ago
Empirical study design in the area of high-performance computing (HPC)
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
Forrest Shull, Jeffrey Carver, Lorin Hochstein, Vi...
LREC
2010
133views Education» more  LREC 2010»
15 years 1 months ago
Improving Domain-specific Entity Recognition with Automatic Term Recognition and Feature Extraction
Domain specific entity recognition often relies on domain-specific knowledge to improve system performance. However, such knowledge often suffers from limited domain portability a...
Ziqi Zhang, José Iria, Fabio Ciravegna
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 1 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
BIRTHDAY
2010
Springer
15 years 3 min ago
Change Management for Heterogeneous Development Graphs
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
Serge Autexier, Dieter Hutter, Till Mossakowski
LOGCOM
2002
85views more  LOGCOM 2002»
14 years 11 months ago
Engineering Executable Agents using Multi-context Systems
In the area of agent-based computing there are many proposals for specific system architectures, and a number of proposals for general approaches to building agents. As yet, howev...
Jordi Sabater, Carles Sierra, Simon Parsons, Nicho...