10241 search results - page 1947 / 2049 » Goal-Driven Software Development |
138
click to vote
CPHYSICS
2007
15 years 2 months ago
2007
In parallel to the ITER project itself, many initiatives address complementary technological issues relevant to a fusion reactor, as well as many remaining scientific issues. One...
147
click to vote
JAIR
2006
15 years 2 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
142
Voted
JOT
2008
15 years 2 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
120
click to vote
DKE
2007
15 years 2 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
147
click to vote
JDFP
2006
15 years 2 months ago
2006
Over the past decade, the advancement of a myriad of methods, techniques and technologies to conceal digital evidence and covertly communicate have increased at an alarming rate. I...