1492 search results - page 191 / 299 » Automatic Software Model Checking Using CLP |
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
101
click to vote
ASE
2006
14 years 10 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
EUROMICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
102
click to vote
UMUAI
1998
14 years 9 months ago
1998
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
ER
1998
Springer
15 years 2 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...