2826 search results - page 377 / 566 » A resource-based analysis of IT sourcing |
121
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
112
click to vote
SCAM
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
122
Voted
JTRES
2009
ACM
15 years 6 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
100
click to vote
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
The Digital Agora is an information resource that supports understanding and analysis of complex problems in the social sciences. Large amounts of data are available from many dif...
93
Voted
ELPUB
1998
ACM
15 years 6 months ago
1998
ACM
One of the often overlooked aspects of the today’s electronic information spread is that not all people use the Latin alphabet for writing, and even those who use it do not use ...