Sciweavers

7452 search results - page 330 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
SEMWEB
2009
Springer
15 years 11 months ago
Semantic Enhancement for Enterprise Data Management
Taking customer data as an example, the paper presents an approach to enhance the management of enterprise data by using Semantic Web technologies. Customer data is the most import...
Li Ma, Xingzhi Sun, Feng Cao, Chen Wang, Xiaoyuan ...
EUROMICRO
2009
IEEE
15 years 10 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
JNW
2008
171views more  JNW 2008»
15 years 6 months ago
The Necessity of Semantic Technologies in Grid Discovery
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
Serena Pastore
LOGCOM
2010
128views more  LOGCOM 2010»
15 years 1 months ago
Comparing LTL Semantics for Runtime Verification
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
JODI
2010
115views more  JODI 2010»
15 years 1 months ago
ICE-Theorem - End to end semantically aware eResearch infrastructure for theses
: ICE-TheOREM was a project which made several important contributions to the repository domain, promoting deposit by integrating the repository with authoring workflows and enhanc...
Peter Sefton, Jim Downing