2796 search results - page 492 / 560 » A time structure based software reliability model |
155
click to vote
WOTUG
2008
15 years 6 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
170
click to vote
AFRIGRAPH
2007
ACM
15 years 9 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
172
click to vote
CADE
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
146
click to vote
EPEW
2009
Springer
16 years 20 hour ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
154
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
The lack of eye contact in video conference degrades the user’s experience. This problem has been known and studied for many years. There are hardware-based solutions to the eye...