1330 search results - page 186 / 266 » Dynamic Data Structures for Fat Objects and Their Applicatio... |
150
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
117
click to vote
APSEC
1997
IEEE
15 years 5 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
122
click to vote
USITS
2001
15 years 2 months ago
2001
Ubiquitous access to sophisticated internet services from diverse end devices across heterogeneous networks requires the injection of additional functionality into the network to ...
141
click to vote
EUROMICRO
1999
IEEE
15 years 5 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
121
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
In recent years, the tourism assistance community is gradually shifting its emphasis to digital, interactive systems. Our project aims for digital tourism assistance by combining ...