1121 search results - page 107 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
111
click to vote
MASCOTS
2003
15 years 3 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
112
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
An unstructured peer network application was proposed to address the query forwarding problem of distributed search engines and scalability limitations of centralized search engin...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
128
click to vote
CIDR
2009
15 years 2 months ago
2009
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on...
115
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Many protein structures determined in high-throughput structural genomics centers, despite their significant novelty and importance, are available only as PDB depositi...