6249 search results - page 1053 / 1250 » Topological Informational Spaces |
196
click to vote
ESA
2005
Springer
16 years 5 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...
198
click to vote
EUROSPI
2005
Springer
16 years 5 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...
186
click to vote
FASE
2005
Springer
16 years 5 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 ...
159
click to vote
FCT
2005
Springer
16 years 5 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...
165
click to vote
HIPEAC
2005
Springer
16 years 4 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 ...