11436 search results - page 531 / 2288 » Modeling Real Reasoning |
240
click to vote
ICCBSS
2005
Springer
16 years 17 days ago
2005
Springer
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
219
click to vote
ASIAN
2003
Springer
16 years 8 days ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
168
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
173
click to vote
ECIS
2004
15 years 8 months ago
2004
This paper presents a model for analysing IT outsourcing maturity in organizations. Organizations outsource their IT for reasons such as cost reduction, access to superior skill s...
196
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We consider a novel class of applications where a set of activities conducted by a group of people over a time period needs to be planned, taking into account each member's p...