3914 search results - page 408 / 783 » Automating SLA modeling |
212
click to vote
DC
2010
15 years 7 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
189
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Non-coding DNA sequences comprise a very large proportion of the total genomic content of mammals, most other vertebrates, many invertebrates, and most plants. Unravel...
176
click to vote
TOSEM
1998
15 years 6 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
209
click to vote
TASLP
2011
15 years 1 months ago
2011
—This paper presents a novel student model intended to automate word-list-based reading assessments in a classroom setting, specifically for a student population that includes b...
246
click to vote
JDCTA
2010
15 years 1 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...