7529 search results - page 290 / 1506 » The Modula-3 Type System |
221
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...
170
click to vote
IFIPTM
2009
15 years 4 months ago
2009
To date, research in trust negotiation has focused mainly on the theoretical aspects of the trust negotiation process, and the development of proof of concept implementations. Thes...
232
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
217
click to vote
HAIS
2011
Springer
14 years 10 months ago
2011
Springer
One of the main problems that modern e-mail systems face is the management of the high degree of spam or junk mail they recieve. Those systems are expected to be able to distinguis...
178
click to vote
MVA
2000
15 years 6 months ago
2000
With the proliferation of different types of IC packages, there is a need for machine-vision-based inspection systems to be able to efficiently identify the orientation of IC packa...