Sciweavers

2662 search results - page 99 / 533
» Tools Demonstrations
Sort
View
COMPSAC
2006
IEEE
15 years 10 months ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
EDOC
2005
IEEE
15 years 9 months ago
An Interactive Approach for Specifying OWL-S Groundings
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
Gerald C. Gannod, Raynette J. Brodie, John T. E. T...
ANSOFT
2002
100views more  ANSOFT 2002»
15 years 3 months ago
A Formal Object Approach to the Design of ZML
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
DEBU
2002
116views more  DEBU 2002»
15 years 3 months ago
The Role of Web Services in Information Search
State-of-the-art Web search engines are inherently limited in their abilities to search information in Deep Web beyond portals. This paper discusses how Web services and Semantic-...
Jens Graupmann, Gerhard Weikum
CIMCA
2008
IEEE
15 years 10 months ago
The C++ Hybrid Imperative Meta-Programmer: CHIMP
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
John Kenyon, Frederick C. Harris Jr., Sergiu M. Da...