1713 search results - page 167 / 343 » Analysis of Procedure Splitability |
181
click to vote
FROCOS
2007
Springer
16 years 1 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...
176
Voted
HYBRID
2007
Springer
16 years 1 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...
174
click to vote
ISCAS
2006
IEEE
16 years 1 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...
161
click to vote
AMDO
2004
Springer
16 years 11 days 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...
175
Voted
ISSRE
2003
IEEE
16 years 7 days 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...