1164 search results - page 184 / 233 » Using CBR for Semantic Analysis of Software Specifications |
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
We introduce CiteSeer-API, a public API to CiteSeer-like services. CiteSeer-API is SOAP/WSDL based and allows for easy programmatical access to all the specific functionalities of...
ADG
2006
Springer
14 years 23 days ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
DAGSTUHL
2006
13 years 10 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
SAMOS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...
SCFBM
2008
13 years 8 months ago
2008
Flow is an open source software application for clinical and experimental researchers to perform exploratory data analysis, clustering and annotation of flow cytometric data. Flow...