12981 search results - page 2135 / 2597 » Model Checking (Abstract) |
160
click to vote
OOPSLA
2007
Springer
16 years 28 days ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
184
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
181
click to vote
ISCAS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract—We present a silicon neuron with a dynamic, active leak that enables precise spike-timing with respect to a time-varying input signal. Our neuron models the mammalian bu...
174
click to vote
ISCAS
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— We present a simple silicon circuit for modelling voltagedependent ion channels found within neural cells, capturing both the gating particle’s sigmoidal activation (...
173
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Software product line modeling has received a great deal of attention for its potential in fostering reuse of software artifacts across development phases. Research on the testing...