6149 search results - page 253 / 1230 » Revealing the programming process |
158
click to vote
SEFM
2009
IEEE
15 years 12 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
179
click to vote
ENC
2008
IEEE
15 years 11 months ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
171
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
136
click to vote
ESA
2004
Springer
15 years 8 months ago
2004
Springer
Arrangements of planar curves are fundamental structures in computational geometry. We describe the recent developments in the arrangement package of Cgal, the Computational Geomet...
136
click to vote
IQ
2007
15 years 6 months ago
2007
: We introduce an end-to-end framework for data quality that integrates business strategy, data quality models, and supporting investigative and governance processes. We also descr...