334 search results - page 50 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
157
click to vote
JSW
2007
15 years 3 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
159
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
197
click to vote
AAIP
2009
15 years 5 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
120
click to vote
GIR
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we test the hypothesis Given a piece of text describing an object or concept our combined disambiguation method can disambiguate whether it is a place and ground it ...
164
click to vote
COMPSYSTECH
2009
15 years 1 months ago
2009
: Facial expressions play an important role in human nonverbal communication. They can be generated by activation and dilatation of facial muscles. In this paper we describe a syst...