801 search results - page 50 / 161 » The Core Language of Aldwych |
ENTCS
2008
13 years 8 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
ICDE
2005
IEEE
14 years 10 months ago
2005
IEEE
Databases are at the core of successful businesses. Due to the voluminous stores of personal data being held by companies today, preserving privacy has become a crucial requiremen...
DFT
2007
IEEE
14 years 3 months ago
2007
IEEE
In the paper, a methodology of developing checkers for communication protocol testing is presented. It was used to develop checker to test IP cores communication protocol implemen...
FDL
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...