4074 search results - page 111 / 815 » Defining Computational Aesthetics |
123
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
116
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Various commercial programmable compute platforms have their processor architecture enhanced with field-programmable gate arrays (FPGAs). In a common usage scenario, an applicatio...
ACE
2003
15 years 2 months ago
2003
Groupwork has a large and important role in computer science courses. Moreover, groupwork skills are among the most important generic attributes students should develop during the...
126
click to vote
AIPS
2009
15 years 2 months ago
2009
We define the robustness of a sequential plan as the probability that it will execute successfully despite uncertainty in the execution environment. We consider a rich notion of u...
103
click to vote
JCP
2006
15 years 1 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...