1713 search results - page 167 / 343 » Analysis of Procedure Splitability |
102
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
90
Voted
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
93
Voted
AMDO
2004
Springer
15 years 6 months ago
2004
Springer
Today in many applications the study of human movement using a computer vision and graphics techniques is very useful. One of these applications is the three-dimensional reconstruc...
102
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...