629 search results - page 68 / 126 » Business Process Integration: Method and Analysis |
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
JSS
2007
13 years 8 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
FMCO
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
DEXA
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper describes ongoing work on creating a benchmarking and validation dataset for biological image segmentation. While the primary target is biological images, we believe th...