1524 search results - page 167 / 305 » Operational Semantics of Hybrid Systems |
CSSE
2008
IEEE
14 years 11 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
ACMICEC
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
We introduce a Semantic Web-based competence manager system called Competence Manager, which allows managing employee competencies and other relevant resources about a set of topic...
CIDR
2007
14 years 11 months ago
2007
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
SIGCSE
2002
ACM
14 years 9 months ago
2002
ACM
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is ...