Sciweavers

2191 search results - page 125 / 439
» Aspect - A Problem For MT
Sort
View
EMISA
2002
Springer
15 years 4 months ago
Developing software families
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
Silva Robak
JCB
2000
71views more  JCB 2000»
15 years 4 months ago
Structure Comparison and Structure Patterns
This article investigates aspects of pairwise and multiple structure comparison, and the problem of automatically discover common patterns in a set of structures. Descriptions and...
Ingvar Eidhammer, Inge Jonassen, William R. Taylor
SAC
2002
ACM
15 years 3 months ago
An infrastructure language for open nets
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect an...
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
PTS
2010
138views Hardware» more  PTS 2010»
15 years 2 months ago
Alternating Simulation and IOCO
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
Margus Veanes, Nikolaj Bjørner
ISPW
2010
IEEE
15 years 2 months ago
Critical Success Factors for Rapid, Innovative Solutions
Many of today's problems are in search of new, innovative solutions. However, the development of new and innovative solutions has been elusive to many, resulting in considerab...
Jo Ann Lane, Barry W. Boehm, Mark T. Bolas, Azad M...