4665 search results - page 866 / 933 » Bioinformatics Web Services |
143
click to vote
DLOG
2008
15 years 8 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
130
Voted
WSC
2007
15 years 8 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
186
click to vote
WSC
2008
15 years 8 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
142
click to vote
ACMACE
2008
ACM
15 years 7 months ago
2008
ACM
The games with a purpose paradigm proposed by Luis von Ahn [9] is a new approach for game design where useful but boring tasks, like labeling a random image found in the web, are ...
157
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...