2513 search results - page 37 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
170
click to vote
AMC
2007
15 years 6 months ago
2007
: The present paper makes use of factorial experiments to assess software complexity using insertion sort as a trivial example. We next propose to implement the methodology in quic...
195
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
185
click to vote
ISCA
2007
IEEE
15 years 6 months ago
2007
IEEE
In recent years, quantum computing (QC) research has moved from the realm of theoretical physics and mathematics into real implementations [9]. With many different potential hardw...
255
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we propose a technique to flexibly implement genetic algorithms for various problems on FPGAs. For the purpose, we propose a basic architecture for GA which consist...
176
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...