1499 search results - page 208 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
200
click to vote
FROCOS
2005
Springer
16 years 15 hour ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
156
click to vote
ADBIS
2004
Springer
15 years 12 months ago
2004
Springer
Business rules are often implemented as stored procedures in a database server. These procedures are triggered by various clients, but the execution load is fully centralized on th...
142
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Code duplication is one of the factors that severely complicates the maintenance and evolution of large software systems. Techniques for detecting duplicated code exist but rely m...
173
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
166
click to vote
WSC
2008
15 years 8 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...