2282 search results - page 120 / 457 » Active property checking |
130
click to vote
POLICY
2005
Springer
15 years 10 months ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
138
click to vote
JUCS
2008
15 years 4 months ago
2008
: This paper describes the development of an Intellectual Property (IP) core in VHDL able to implement a Multilayer Perceptron (MLP) artificial neural network (ANN) topology with u...
146
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
A new way to detect arrows in line drawings is proposed in this paper. Our approach is based on the definition of the structure of such a symbol. Signatures of angular areas are ...
120
click to vote
JWE
2006
15 years 4 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
145
click to vote
FUIN
2010
15 years 1 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...