| 1. |
- Hedin, Daniel, 1978, et al.
(författare)
-
A Principled Approach to Tracking Information Flow in the Presence of Libraries
- 2017
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783662544549 ; 10204, s. 49-70
-
Konferensbidrag (refereegranskat)abstract
- There has been encouraging progress on information flow control for programs in increasingly complex programming languages, tracking the propagation of information from input sources to output sinks. Yet, programs are typically deployed in an environment with rich APIs and powerful libraries, posing challenges for information flow control when the code for these APIs and libraries is either unavailable or written in a different language.This paper presents a principled approach to tracking information flow in the presence of libraries. With the goal to strike the balance between security and precision, we present a framework that explores the middle ground between the “shallow”, signature-based modeling of libraries and the “deep”, stateful approach, where library models need to be supplied manually. We formalize our approach for a core language, extend it with lists and higher-order functions, and establish soundness results with respect to the security condition of noninterference.
|
|
| 2. |
-
2016 Workshop on Exascale Multi/Many Core Computing Systems (E-MuCoCoS)
- 2016
-
Samlingsverk (redaktörskap) (refereegranskat)abstract
- Exascale computing will revolutionize computational science and engineering by providing 1000x the capabilities of currently available computing systems, while having a similar power footprint. The HPC community is working towards the development of the first Exaflop computer after reaching the Petaflop milestone in 2008. There are concerns that computer designs based on existing multi-core and many-core solutions will not scale to Exascale considering technical challenges (such as, productivity, energy consumption or reliability) and reasonable economic constraints. Therefore, novel multi-core and many-core solutions are required to reach Exascale. The E-MuCoCoS workshop series focuses on multi/many core languages, system software and architectural solutions for extreme-scale systems towards Exascale.
|
|
| 3. |
-
Agent Environments for Multi-Agent Systems IV : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems.The 6 revised full papers presented together with 1 roadmap paper and 7 invited papers were carefully reviewed and selected from 14 initial submissions. The papers are organized in topical sections on connecting agents, environments, and humans; environments for complex and stigmergic systems; virtual and simulated environments; and open agent environments and interoperability.
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
-
Graph Drawing and Network Visualization : 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
- 2018
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the refereed proceedings of the 26th International Symposium on Graph Drawing and Network Visualization, GD 2018, held in Barcelona, Spain, in September 2018. The 41 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: planarity variants; upward drawings; RAC drawings; orders; crossings; crossing angles; contact representations; specialized graphs and trees; partially fixed drawings, experiments; orthogonal drawings; realizability; and miscellaneous. The book also contains one invited talk in full paper length and the Graph Drawing contest report.
|
|
| 7. |
- Guo, Hong, et al.
(författare)
-
Barriers to Adopting E-commerce in Chinese Rural Areas : A Case Study
- 2017
-
Konferensbidrag (refereegranskat)abstract
- Although e-commerce has been adopted and developed rapidly in rural areas in China during the past two years, serious issues have been encountered as well. Practitioners and scientists proposed lists of barriers. However, such lists differ with each other for different regions and at different time. Fixed lists may not help much practically. Present research proposes a framework named N3F4 to structure and formalize such barriers. Based on the framework, researchers could make a list of barriers for a given region, perform surveys among interested people, prioritize the barriers, analyze reasons and propose solutions. In this paper, we introduce the N3F4 framework, and present a case study of applying the framework in one small county in China. The result shows that the N3F4 framework helps structure barriers before performing the survey, and it also helps analyze the result and come up with solutions afterwards, both effectively and efficiently.
|
|
| 8. |
|
|
| 9. |
-
Internet Science : Proceedings
- 2017
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the proceedings of the 4th International Conference on Internet Science held in Thessaloniki, Greece, in November 2017. The 34 papers presented were carefully reviewed and selected for inclusion in this volume. They were organized in topical sections named: next generation community engagement; online policy, politics and co-creation; understanding and empowering digital citizens; data-driven research and design; social media and online interaction.
|
|
| 10. |
- Ismail, Muhammad
(författare)
-
Ontology Learning from Software Requirements Specification
- 2017
-
Konferensbidrag (refereegranskat)abstract
- Learning ontologies from software requirements specifications with individuals and relations between individuals to represent detailed information, such as input, condition and expected result of a requirement, is a difficult task. System specification ontologies (SSOs) can be developed from software requirement specifications to represent requirements and can be used to automate some time-consuming activities in software development processes. However, manually developing SSOs to represent requirements and domain knowledge of a software system is a time-consuming and a challenging task. The focus of this PhD is how to create ontologies semi-automatically from SRS. We will develop a framework that can be a possible solution to create semi-automatically ontologies from SRS. The developed framework will mainly be evaluated by using the constructed ontologies in the software testing process and automating a part of it. i.e. test case generation.
|
|
