1499 search results - page 34 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
186
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
154
click to vote
FDL
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
161
click to vote
MKM
2007
Springer
16 years 9 days ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
225
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the implementation of a test pattern language using STIL [1], the IEEE Standard Test Interface Language (1450-1999), in a next generation, open architecture A...
159
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...