1865 search results - page 194 / 373 » A Rule-Based, Integrated Modelling Approach for Object-Orien... |
133
click to vote
CAISE
2009
Springer
15 years 9 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
105
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
133
click to vote
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
123
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
150
click to vote
ICSEA
2009
IEEE
15 years 2 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...