6249 search results - page 1053 / 1250 » Topological Informational Spaces |
210
click to vote
ESA
2005
Springer
16 years 22 days ago
2005
Springer
We study a wide range of online covering and packing optimization problems. In an online covering problem a linear cost function is known in advance, but the linear constraints th...
216
click to vote
EUROSPI
2005
Springer
16 years 22 days ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...
211
click to vote
FASE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
183
click to vote
FCT
2005
Springer
16 years 22 days ago
2005
Springer
Sequence comparison is a fundamental task in pattern matching. Its applications include file comparison, spelling correction, information retrieval, and computing (dis)similaritie...
190
click to vote
HIPEAC
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...