1992 search results - page 147 / 399 » Model Based Testing with Labelled Transition Systems |
JUCS
2006
15 years 3 months ago
2006
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
111
click to vote
ENTCS
2007
15 years 3 months ago
2007
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
159
Voted
RE
2008
Springer
15 years 2 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
146
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
Identifying discourse relations in a text is essential for various tasks in Natural Language Processing, such as automatic text summarization, question-answering, and dialogue gene...
136
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
We present an architecture for the online learning of object representations based on a visual cortex hierarchy developed earlier. We use the output of a topographical feature hier...