4151 search results - page 484 / 831 » Language Driven System Design |
190
Voted
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
185
click to vote
UIC
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
194
click to vote
WWW
2005
ACM
16 years 29 days ago
2005
ACM
Semantic Web Services (SWS), a new generation WWW technology, will facilitate the automation of Web service tasks, including automated Web service discovery, execution, compositio...
225
click to vote
ESAW
2005
Springer
16 years 28 days ago
2005
Springer
In this paper, we discuss the development of a multi agent system working on the Semantic Web environment by using a new framework called SEAGENT. SEAGENT is a new agent developmen...
215
click to vote
SIGSOFT
2003
ACM
16 years 19 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...