4360 search results - page 379 / 872 » Socio-technical systems: From design methods to systems engi... |
155
click to vote
ERCIMDL
2008
Springer
15 years 8 months ago
2008
Springer
We detail the design of a search engine for archival finding aids based on an XML database system. The resulting system shows results--which can vary in granularity from individual...
210
Voted
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
172
Voted
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
147
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
207
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...