2740 search results - page 168 / 548 » A Model-Based Approach To Requirements Analysis |
113
Voted
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
143
Voted
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...
120
Voted
ICS
2005
Tsinghua U.
15 years 8 months ago
2005
Tsinghua U.
The combination of increasing component power consumption, a desire for denser systems, and the required performance growth in the face of technology-scaling issues are posing eno...
114
Voted
ISCA
2003
IEEE
15 years 8 months ago
2003
IEEE
Despite large caches, main-memory access latencies still cause significant performance losses in many applications. Numerous hardware and software prefetching schemes tolerate th...
126
Voted
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...