17449 search results - page 499 / 3490 » Availability |
270
click to vote
OSS
2007
Springer
16 years 1 months ago
2007
Springer
This article discusses Nokia’s experiences of using open source in commercial product development. It presents the development model used in the creation of mobile consumer devic...
189
click to vote
PVM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of di...
186
click to vote
RR
2007
Springer
16 years 1 months ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...
136
click to vote
SSS
2007
Springer
16 years 1 months ago
2007
Springer
Research on fine tuning stabilization properties has received attention for nearly a decade. This paper presents a probabilistic algorithm for fault-containment, that confines th...
176
click to vote
TAP
2007
Springer
16 years 1 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...