7452 search results - page 149 / 1491 » A Semantics for Multiprocessor Systems |
159
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
110
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
152
Voted
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
136
click to vote
DBISP2P
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we propose a semantic based P2P system that incorporates peer sharing policies, which allow a peer to state, for each of the concepts it deals with, the con...
101
Voted
EUSFLAT
2007
15 years 5 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...