582 search results - page 82 / 117 » Generative and Incremental Approach to Scripting Support Imp... |
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
CODES
2000
IEEE
14 years 8 days ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...