1058 search results - page 92 / 212 » Using Different Representations of Synchronous Systems in SA... |
176
click to vote
DLOG
2010
15 years 4 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
156
click to vote
JSS
2008
15 years 6 months ago
2008
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
166
click to vote
UC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We study computational complexity of counting the fixed point configurations (FPs) in certain classes of graph automata viewed as discrete dynamical systems. We prove t...
166
click to vote
ICS
1998
Tsinghua U.
15 years 10 months ago
1998
Tsinghua U.
In this paper we propose the OPTNET, a novel optical network and associated coherence protocol for scalable multiprocessors. The network divides its channels into broadcast and po...
146
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...