10239 search results - page 1947 / 2048 » Postmodern Software Development |
JAIR
2006
13 years 8 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...
JOT
2008
13 years 8 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...
DKE
2007
13 years 8 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/...
JDFP
2006
13 years 8 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...
MAGS
2008
13 years 7 months ago
2008
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...