Sciweavers

10462 search results - page 186 / 2093
» Towards an
Sort
View
SBMF
2009
Springer
14 years 5 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker, ...
SEKE
2009
Springer
14 years 5 months ago
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
Gregor Scheithauer, Stefan Augustin, Guido Wirtz
SEKE
2009
Springer
14 years 5 months ago
Towards Mobility Support in Smart Environments
Smart environments are subject to intensive academic and industrial research. Many of these research projects deal with challenges such as heterogeneity, personalization and conte...
Daniel Retkowitz, Ibrahim Armac, Manfred Nagl
SEMWEB
2009
Springer
14 years 5 months ago
Towards Lightweight and Robust Large Scale Emergent Knowledge Processing
We present a lightweight framework for processing uncertain emergent knowledge that comes from multiple resources with varying relevance. The framework is essentially RDF-compatibl...
Vít Novácek, Stefan Decker
SEMWEB
2009
Springer
14 years 5 months ago
Towards Integrity Constraints in OWL
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
Evren Sirin, Jiao Tao