1077 search results - page 17 / 216 » Management of Evolving Specifications using Category Theory |
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we address the problem of extracting important (and unimportant) discourse patterns from call center conversations. Call centers provide dialog based calling-in supp...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Single and multi-step time-series predictors were evolved for forecasting minimum bidding prices in a simulated supply chain management scenario. Evolved programs were allowed to ...
JIPS
2008
13 years 7 months ago
2008
: The specification of the Home Evolved NodeB (Home-eNB), which is a small base station designed for use in residential or small business environment, is currently ongoing in 3GPP ...