5599 search results - page 861 / 1120 » Abstract State Services |
157
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
In order to meet flexibility, performance and energy efficiency constraints, future SoC (System-on-Chip) designs will contain an increasing number of heterogeneous processor cor...
153
click to vote
COMPSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
146
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
184
click to vote
MSE
2005
IEEE
15 years 12 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
159
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...