1153 search results - page 138 / 231 » Compositional Specification Calculus for Information Systems... |
136
Voted
DIGITALCITIES
2003
Springer
15 years 9 months ago
2003
Springer
In order to utilize geographic web information for digital city applications, we have been developing a geographic web search system, KyotoSEARCH. When users retrieve geographic in...
151
Voted
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
128
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
137
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Knowledge sharing across community boundaries has been discussed in literature as an important source of new knowledge and innovation. Different studies point out the difficulties...
141
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—An adaptive multiple input and multiple output with the code matrix index feedback [8]. One detector will (MIMO) system based on the unified belief propagation (BP) work in the ...