7395 search results - page 1180 / 1479 » Social Modeling and i* |
206
click to vote
SIGSOFT
2003
ACM
15 years 12 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
161
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Current computational trust models are usually built either on an agent's direct experience of an interaction partner (interaction trust) or reports provided by third parties...
211
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
179
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Machine Learned Ranking approaches have shown successes in web search engines. With the increasing demands on developing effective ranking functions for different search domains, ...