2556 search results - page 231 / 512 » The Triconnected Abstraction of Process Models |
198
click to vote
ICCAD
2008
IEEE
16 years 4 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
200
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
181
click to vote
PTS
2008
15 years 8 months ago
2008
Abstract. A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Servic...
197
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
199
click to vote
GPEM
2007
15 years 7 months ago
2007
Cancer is an evolutionary process; mutated cells are selected for abnormal growth and survivability. Here, a computer simulation is used to model ductal carcinoma in situ (DCIS), ...