477 search results - page 71 / 96 » Design patterns in separation logic |
BIBM
2008
IEEE
14 years 4 months ago
2008
IEEE
Biologists are often interested to query published phylogenetic data for research purposes. PhyQL, a web-based visual phylogenetic query engine, can be quite useful on this regard...
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
—Data warehouse (DW) systems integrate data from heterogeneous sources and are used by decision makers to analyze the status and the development of an organization. Traditionally...
IRI
2008
IEEE
14 years 4 months ago
2008
IEEE
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...
MIDDLEWARE
2007
Springer
14 years 3 months ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...