12697 search results - page 86 / 2540 » Call for Papers |
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Feature and structure selection is an important part of many classification problems. In previous papers, an approach called basis pursuit classification has been proposed which p...
ARCS
2004
Springer
15 years 5 months ago
2004
Springer
: Normally the SISCI interface provides a Distributed Shared Memory (DSM) abstraction using the Scalable Coherent Interface (SCI). This paper describes and discusses the design and...
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
DEON
2006
Springer
15 years 3 months ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...