1522 search results - page 237 / 305 » Practical Exception Specifications |
HAPTICS
2010
IEEE
13 years 6 months ago
2010
IEEE
The present study examined the human ability to learn a new sensory modality, specifically "whisking". An experimental apparatus containing artificial whiskers, force sen...
JWSR
2011
13 years 4 months ago
2011
: Deciding on web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. Restricting such decisions to (activity) l...
IHI
2010
13 years 3 months ago
2010
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
JCIT
2010
13 years 3 months ago
2010
With an expanding of Web services giving same functionalities, Quality of Service (QoS) is becoming an important criterion for selection of the best available service. So users ne...
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...