1
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [E-Book] : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings /
Table of Contents: ... and visual tooling: Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System -- A Tool-Chain for the Verification of Geographic Scheme Data....

Full text 
2
Computational Science and Its Applications - ICCSA 2022 [E-Book] : 22nd International Conference, Malaga, Spain, July 4-7, 2022, Proceedings, Part I /
3
Computational Science and Its Applications - ICCSA 2022 Workshops [E-Book] : Malaga, Spain, July 4-7, 2022, Proceedings, Part VI /
4
Computational Science and Its Applications - ICCSA 2022 Workshops [E-Book] : Malaga, Spain, July 4-7, 2022, Proceedings, Part IV /
5
Critical Information Infrastructures Security [E-Book] : 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers /
Table of Contents: ... Design Solutions in Rail -- Studying Neutrality in Cyber-Space: A Comparative Geographical Analysis of Honeypot Responses -- Future, TechWatch & Forecast for C(I)IP and Critical Services -- Tableau: Future-Proof Zoning for OT Networks -- Link Prediction...

Full text 
6
Human Centered Computing [E-Book] : First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers /
Table of Contents: ... Heterogeneous Networks -- 3-Dimension Evaluation Method for Stock Investment Based on 2-Tuple Linguistic -- CluSoAF: A Cluster-Based Semantic Oriented Analyzing Framework for User Behaviors in Mobile Learning Environment -- Hierarchical Geographical Tags Based...

Full text 
7
Ad-hoc, Mobile, and Wireless Networks [E-Book] : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings /
Table of Contents: ...Routing, Connectivity, and Resource Allocation -- A Dynamic Topology Control Algorithm for Wireless Sensor Networks -- Geographic GReedy Routing with ACO Recovery Strategy GRACO -- Scheduling Connections via Path and Edge Multicoloring -- A Schedule...

Full text 
8
Computational Science and Its Applications -- ICCSA 2015 [E-Book] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I /
Table of Contents: ... -- Computational optimization and applications -- Cities, technologies and planning -- Econometrics and multidimensional evaluation in the urban environment -- Future computing systems, technologies, and applications -- Geographical analysis, urban modeling, spatial...

Full text 
9
Computational Science and Its Applications -- ICCSA 2015 [E-Book] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II /
Table of Contents: ... -- Computational optimization and applications -- Cities, technologies and planning -- Econometrics and multidimensional evaluation in the urban environment -- Future computing systems, technologies, and applications -- Geographical analysis, urban modeling, spatial...

Full text 
10
Computational Science and Its Applications -- ICCSA 2015 [E-Book] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV /
Table of Contents: ... -- Computational optimization and applications -- Cities, technologies and planning -- Econometrics and multidimensional evaluation in the urban environment -- Future computing systems, technologies, and applications -- Geographical analysis, urban modeling, spatial...

Full text 
11
Computational Science and Its Applications -- ICCSA 2015 [E-Book] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V /
Table of Contents: ... -- Computational optimization and applications -- Cities, technologies and planning -- Econometrics and multidimensional evaluation in the urban environment -- Future computing systems, technologies, and applications -- Geographical analysis, urban modeling, spatial...

Full text 
12
Advances in Conceptual Modeling [E-Book] : ER 2013 Workshops, LSAWM, MoBiD, RIGiM, SeCoGIS, WISM, DaSeM, SCME, and PhD Symposium, Hong Kong, China, November 11-13, 2013, Revised Selected Papers /
13
Advances in Conceptual Modeling [E-Book] : ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings /
Table of Contents: ... Geographic Databases in OMT-G -- A Model of Aggregate Operations for Data Analytics over Spatiotemporal Object -- 11th International Workshop on Web Information Systems Modeling (WISM14) -- Preface to WISM 2014 -- Natural Language Processing for Linking Online...

Full text 
14
Computational Science and Its Applications – ICCSA 2014 [E-Book] : 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part IV /
Table of Contents: ...Geographical Analysis, Urban Modeling, Spatial Statistics -- High Performance Computing in Engineering and Science -- Mobile Communications -- Mobile-Computing, Sensing, and Actuation - Cyber Physical Systems....

Full text 
15
Middleware 2013 [E-Book] : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings /
Table of Contents: ... -- Sprinkler — Reliable Broadcast for Geographically Dispersed Datacenters -- Transactional Failure Recovery for a Distributed Key-Value Store -- Views and Transactional Storage for Large Graphs -- Efficient Batched Synchronization in Drop box-Like Cloud Storage...

Full text 
16
Web Information Systems Engineering – WISE 2013 [E-Book] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II /
Table of Contents: ... -- Topical Discussions on Unstructured Microblogs: Analysis from a Geographical Perspective -- Discovering Correlated Entities from News Archives -- High Quality Microblog Extraction Based on Multiple Features Fusion and Time-Frequency Transformation -- Exploiting...

Full text 
17
Computational Science and Its Applications – ICCSA 2013 [E-Book] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV /
Table of Contents: ...Geographical Analysis, Urban Modeling, Spatial Statistics -- Econometrics and Multidimensional Evaluation in the Urban Environment -- Security and Privacy in Computational Sciences -- Collective Evolutionary Systems....

Full text 
18
Advances in Conceptual Modeling [E-Book]: ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings /
Table of Contents: ... Expert Judgements on Geographic Concepts -- Enriching SQWRL Queries in Support of Geospatial Data Retrieval from Multiple and Complementary Sources -- From Polygons and Timestamps to Dynamic Geographic Features: Grounding a Spatio-temporal Geo-ontology...

Full text