Sciweavers

640 search results - page 54 / 128
» Improving the Syntax and Semantics of Goal Modelling Languag...
Sort
View
APCCM
2008
13 years 9 months ago
Context Analysis: Toward Pragmatics of Web Information Systems Design
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
INTERACTION
2009
ACM
14 years 2 months ago
DTD2OWL: automatic transforming XML documents into OWL ontology
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
Pham Thi Thu Thuy, Young-Koo Lee, Sungyoung Lee
HICSS
2005
IEEE
243views Biometrics» more  HICSS 2005»
14 years 1 months ago
Definition of an Object-Oriented Modeling Language for Enterprise Architecture
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
Lam-Son Lê, Alain Wegmann
SEMWEB
2004
Springer
14 years 1 months ago
Trust Negotiation for Semantic Web Services
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
Daniel Olmedilla, Rubén Lara, Axel Polleres...
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
13 years 11 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu