105 search results - page 19 / 21 » Searchius: A Collaborative Search Engine |
ICSE
2001
IEEE-ACM
14 years 6 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
KBSE
2010
IEEE
13 years 5 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
CCECE
2009
IEEE
13 years 5 months ago
2009
IEEE
The Australian Coastal Ocean radar Network (ACORN) is a monitoring network of HF radars which are being installed around Australia under a National Collaborative Research Infrastr...
IUI
2003
ACM
14 years 1 months ago
2003
ACM
Recommender systems have changed the way people shop online. Recommender systems on wireless mobile devices may have the same impact on the way people shop in stores. We present o...