1855 search results - page 321 / 371 » A Domain Specific Language for the Development of Collaborat... |
NAR
2002
2002
The Protein Information Resource: an integrated public resource of functional annotation of proteins
13 years 8 months ago
The Protein Information Resource (PIR) serves as an integrated public resource of functional annotation of protein data to support genomic/proteomic research and scientific discov...
ISORC
2009
IEEE
14 years 3 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
ICCBR
1999
Springer
14 years 1 months ago
1999
Springer
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
CAV
1997
Springer
14 years 17 days ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
DAGSTUHL
2006
13 years 10 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...