1320 search results - page 223 / 264 » Model Driven Development for Business Performance Management |
105
click to vote
ISSRE
2000
IEEE
15 years 6 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
124
click to vote
ADVIS
2000
Springer
15 years 6 months ago
2000
Springer
Traditional reliable multicast protocols depend on assumptions about flow control and reliability mechanisms, and they suffer from a kind of interference between these mechanisms. ...
109
click to vote
CLEF
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents work on document retrieval for Italian carried out at ITC-irst. Two different approaches to information retrieval were investigated, one based on the Okapi wei...
141
click to vote
APN
2000
Springer
15 years 5 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
127
click to vote
TITB
2010
14 years 8 months ago
2010
Abstract--One of the fundamental goals of computational neuroscience is the study of anatomical features that reflect the functional organization of the brain. The study of physica...