2448 search results - page 47 / 490 » The Octahedron Abstract Domain |
ENTCS
2006
13 years 8 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Block-spread code-division multiple access (BSCDMA) is a bandwidth efficient method by which multiple users can utilize a transmission medium simultaneously. One specia...
PKDD
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. When seeking for small clusters it is very intricate to distinguish between incidental agglomeration of noisy points and true local patterns. We present the PAMALOC algor...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. PARADIGMA (PARticipative Approach to DIsease Global Management) is a pilot project which aims to develop and demonstrate an Internet based reference framework to share sc...