Sciweavers

364 search results - page 21 / 73
» A UML-integrated Test Description Language for Component Tes...
Sort
View
ISSTA
2009
ACM
15 years 6 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
CIMCA
2008
IEEE
15 years 7 months ago
Connector-Driven Gradual and Dynamic Software Assembly Evolution
Complex and long-lived software need to be upgraded at runtime. Replacing a software component with a newer version is the basic evolution operation that has to be supported. It i...
Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Va...
GPEM
2006
80views more  GPEM 2006»
15 years 1 months ago
Unbounded evolutionary dynamics in a system of agents that actively process and transform their environment
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...
Alastair Channon
CIT
2004
Springer
15 years 5 months ago
BioPubMiner: Machine Learning Component-Based Biomedical Information Analysis Platform
Abstract. In this paper we introduce BioPubMiner, a machine learning component-based platform for biomedical information analysis. BioPubMiner employs natural language processing t...
Jae-Hong Eom, Byoung-Tak Zhang
ICMI
2009
Springer
105views Biometrics» more  ICMI 2009»
15 years 7 months ago
Grounding spatial prepositions for video search
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
Stefanie Tellex, Deb Roy