12637 search results - page 2372 / 2528 » Security for Extensible Systems |
162
click to vote
CAISE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...
195
click to vote
CIVR
2007
Springer
16 years 19 days ago
2007
Springer
Ensuring the uniqueness of trademark images and protecting their identities are the most important objectives for the trademark registration process. To prevent trademark infringe...
182
click to vote
LCTRTS
2007
Springer
16 years 18 days ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
159
click to vote
RTA
2007
Springer
16 years 17 days ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
156
click to vote
VMCAI
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...