19130 search results - page 352 / 3826 » Modelling multi-path problems |
142
click to vote
NIPS
1998
15 years 8 months ago
1998
Fraud causes substantial losses to telecommunication carriers. Detection systems which automatically detect illegal use of the network can be used to alleviate the problem. Previo...
170
Voted
WSC
2000
15 years 8 months ago
2000
Simulation professionals need to see themselves first as systems analysts, i.e., problem solvers, rather than just simulation users. As the networked digital economy develops, sys...
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
161
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
173
click to vote
JOT
2007
15 years 6 months ago
2007
One of the fundamental issues in Aspect-Oriented approaches is aspect-to-aspect interference, which occurs when multiple aspects are deployed jointly such that different compositi...