5228 search results - page 517 / 1046 » Case Studies for Software Engineers |
167
click to vote
FM
1994
Springer
15 years 11 months ago
1994
Springer
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it i...
179
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
: We investigate image steganography under re-encoding of images. After a secret message or a digital watermark is embedded into a jpeg image, quite frequently the image is re-enco...
175
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes an improved free-roaming mobile agent security protocol. The scheme uses "one hop backwards and two hops forwards" chain relation as the protocol cor...
203
click to vote
SOCO
2002
Springer
15 years 6 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
182
click to vote
APPML
2011
15 years 2 months ago
2011
We propose a general method to obtain the representation of solutions for linear fractional order differential equations based on the theory of (a, k)-regularized families of oper...