4763 search results - page 895 / 953 » On the Execution of Deep Models |
128
click to vote
FORTE
1994
15 years 26 days ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
104
click to vote
ATAL
2010
Springer
15 years 19 days ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
102
click to vote
CCGRID
2010
IEEE
15 years 19 days ago
2010
IEEE
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
CHI
2010
ACM
14 years 11 months ago
2010
ACM
Researchers have detailed the importance of routines in how people live and work, while also cautioning system designers about the importance of people's idiosyncratic behavi...
116
click to vote
ICECCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...