Sciweavers

11603 search results - page 409 / 2321
» Embedded System Security
Sort
View
WORDS
2003
IEEE
16 years 22 hour ago
Verification of Web Services Using an Enhanced UDDI Server
Wei-Tek Tsai, Raymond A. Paul, Zhibin Cao, Lian Yu...
LCTRTS
1998
Springer
15 years 11 months ago
A Design Environment for Counterflow Pipeline Synthesis
The Counterflow Pipeline (CFP) organization may be a good target for synthesis of application-specific microprocessors for embedded systems because it has a regular and simple str...
Bruce R. Childers, Jack W. Davidson
ENTCS
2008
76views more  ENTCS 2008»
15 years 6 months ago
Symbolic and Abstract Interpretation for C/C++ Programs
and Abstract Interpretation for C/C++ Programs Helge L
Helge Löding, Jan Peleska
ICEIS
2008
IEEE
16 years 1 months ago
Embedding Xpath Queries into SPARQL Queries
Matthias Droop, Markus Flarer, Jinghua Groppe, Sve...
EUROGP
2004
Springer
106views Optimization» more  EUROGP 2004»
16 years 4 days ago
The Evolution of Concurrent Control Software Using Genetic Programming
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
John Hart, Martin J. Shepperd