| 1. |
- Aceto, L., et al.
(författare)
-
Decompositional Reasoning about the History of Parallel Processes
- 2011
-
Ingår i: Fundamentals of software engineering. - Heidelberg : Springer Berlin/Heidelberg. - 1611-3349 .- 0302-9743. - 9783642293191 - 9783642293207 ; , s. 32-47
-
Konferensbidrag (refereegranskat)abstract
- This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language. © 2012 Springer-Verlag.
|
|
| 2. |
- Aceto, Luca, et al.
(författare)
-
Rule formats for determinism and idempotence
- 2012
-
Ingår i: Science of Computer Programming. - Amsterdam : Elsevier BV. - 0167-6423 .- 1872-7964. ; 77:7-8, s. 889-907
-
Tidskriftsartikel (refereegranskat)abstract
- Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.
|
|
| 3. |
- Altmann, Peter, 1985, et al.
(författare)
-
Frugal Innovation and Knowledge Transferability
- 2016
-
Ingår i: Research Technology Management. - Philadelphia, PA : Informa UK Limited. - 0895-6308 .- 1930-0166. ; 59:1, s. 48-55
-
Tidskriftsartikel (refereegranskat)abstract
- OVERVIEW: Western firms are generally advised to rely on emerging market partners when attempting to develop frugal innovations for these developing markets. Underlying such advice is the idea that the requirements of emerging market consumers may not be familiar to Western firms and local developers will better understand local needs. We propose an alternative approach for high-tech firms-one that relies on home-based breakthrough R&D focused on emerging market needs. Three frugal innovation projects at a Swedish medical devices manufacturer serve to illustrate both how home-based breakthrough R&D can help managers reconceptualize their core products and the contextual factors favoring such an approach.
|
|
| 4. |
- Alves, Dimas irion, et al.
(författare)
-
Change Detection Method for Wavelength-Resolution SAR Images Based on Bayes’ Theorem : An Iterative Approach
- 2023
-
Ingår i: IEEE Access. - Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE). - 2169-3536. ; 11, s. 84734-84743
-
Tidskriftsartikel (refereegranskat)abstract
- This paper presents an iterative change detection (CD) method based on Bayes’ theorem for very high-frequency (VHF) ultra-wideband (UWB) SAR images considering commonly used clutter-plus-noise statistical models. The proposed detection technique uses the information of the detected changes to iteratively update the data and distribution information, obtaining more accurate clutter-plus-noise statistics resulting in false alarm reduction. The Bivariate Rayleigh and Bivariate Gaussian distributions are investigated as candidates to model the clutter-plus-noise, and the Anderson-Darling goodness-of-fit test is used to investigate three scenarios of interest. Different aspects related to the distributions are discussed, the observed mismatches are analyzed, and the impact of the distribution chosen for the proposed iterative change detection method is analyzed. Finally, the proposed iterative method performance is assessed in terms of the probability of detection and false alarm rate and compared with other competitive solutions. The experimental evaluation uses data from real measurements obtained using the CARABAS II SAR system. Results show that the proposed iterative CD algorithm performs better than the other methods. Author
|
|
| 5. |
- Anderberg, Cecilia, et al.
(författare)
-
Cylinder Liners and Consequences of Improved Honing
- 2006
-
Ingår i: Proceedings of Nordtrib conference 2006, Helsingor, Danemark. ; , s. 13-
-
Konferensbidrag (refereegranskat)abstract
- The demands on decreased environmental impact from vehicles are resulting in a strong push for decreased engine oil and fuel consumption. Engine oil and fuel consumption are to a great extent controlled by the topography of the cylinder liner surface.Recent engine tests have shown a promising reduction in oil consumption when using cylinder liners with a smoother finish than the current plateau honing.One approach to produce smoother liner surfaces is to replace SiC ceramic honing stones with diamond tools. However, event though the diamond honing process results in higher productivity, improved demands of quality control is needed to monitor the degree of cold worked material - “blechmantel” (German), and the resulting risk of increased wear and scuffing.A number of petrol and diesel engine cylinder liners have been mapped to be able to verify the quality and consequences, in terms of wear and function, of the honing process. A new mapping method, combining SEM images and quantitative image analysis with traditional 2D profilometry has been developed and tested in this study. The liners where tested in a reciprocating rig of 8 mm stroke and with a frequency of 10 Hz, simulating the top-dead center conditions in a running engine.The tests where carried out in high- and low pressure conditions with smooth respectively rough liner roughnesses against PVD coated piston rings. The developed surface mapping method was employed before and after the test to study effect of running-in wear on the surface, features characterized with the SEM- and the 2D profilometer.The results show that combining SEM- and profilometric methods gives a good picture of the effects of varying the cylinder liner pressure and roughness. The core roughness decrease more for diesel liners than for petrol liners. In average (rough and smooth liners) the diesel core roughness decrease 265% while the petrol liners average on a 60% decrease. Blechmantel- and Irregularities ratio show a high sensitivity to varying conditions and decrease 1180% to 100% for the diesel liners while the parameters increase between 106% to 18% for all the petrol liners. A probable cause is the more severe diesel high pressure run-in conditions are able to effectively “truncate” the plateaux and remove residing plastically deformed un-cut honing residues while the less severe petrol liner conditions not manage to remove the blechmantel and irregularities in an important extent.
|
|
| 6. |
- Andersson, Johnn, et al.
(författare)
-
The critical role of informed political direction for advancing technology : The case of Swedish marine energy
- 2017
-
Ingår i: Energy Policy. - London : Elsevier. - 0301-4215 .- 1873-6777. ; 101, s. 52-64
-
Tidskriftsartikel (refereegranskat)abstract
- Marine energy technologies can contribute to meeting sustainability challenges, but they are still immature and dependent on public support. This paper employs the Technological Innovation Systems (TIS) framework to analyze the development and diffusion of Swedish marine energy up until 2014. While there were promising device developers, relevant industrial capabilities, and world-class research, the system suffered from weaknesses in several important innovation processes. Finally, the analysis identifies the lack of informed political direction as a critical blocking factor and highlights its connection to domestic market potential. © 2016 Elsevier Ltd
|
|
| 7. |
- Aramrattana, Maytheewat, 1988-, et al.
(författare)
-
Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016
- 2018
-
Ingår i: IEEE transactions on intelligent transportation systems (Print). - Piscataway, N.J. : Institute of Electrical and Electronics Engineers Inc.. - 1524-9050 .- 1558-0016. ; 19:4, s. 1248-1261
-
Tidskriftsartikel (refereegranskat)abstract
- This paper is an experience report of team Halmstad from the participation in a competition organised by the i-GAME project, the Grand Cooperative Driving Challenge 2016. The competition was held in Helmond, The Netherlands, during the last weekend of May 2016. We give an overview of our car’s control and communication system that was developed for the competition following the requirements and specifications of the i-GAME project. In particular, we describe our implementation of cooperative adaptive cruise control, our solution to the communication and logging requirements, as well as the high level decision making support. For the actual competition we did not manage to completely reach all of the goals set out by the organizers as well as ourselves. However, this did not prevent us from outperforming the competition. Moreover, the competition allowed us to collect data for further evaluation of our solutions to cooperative driving. Thus, we discuss what we believe were the strong points of our system, and discuss post-competition evaluation of the developments that were not fully integrated into our system during competition time. © 2000-2011 IEEE.
|
|
| 8. |
- Arshad, Hamed, 1987, et al.
(författare)
-
Attribute-based encryption with enforceable obligations
- 2023
-
Ingår i: Journal of Cryptographic Engineering. - Heidelberg : Springer. - 2190-8508 .- 2190-8516. ; 13
-
Tidskriftsartikel (refereegranskat)abstract
- Attribute-based encryption (ABE) is a cryptographic mechanism that provides fine-grained access control to encrypted data, which can thus be stored in, e.g., public clouds. However, ABE schemes lack the notion of obligations, which is common in attribute-based access control systems such as eXtensible Access Control Markup Language and Usage Control. Obligations are used to define and enforce extra constraints that happen before approving or denying an access request. In this paper, we propose OB-ABE, a system for extending any classical ABE with enforceable obligations. Our system architecture has as core component trusted hardware enclaves, implemented with SGX, used for enforcing obligations. We employ ProVerif to formally model OB-ABE and verify its main property called "enforceable obligations," i.e., if a message is encrypted along with an obligation, then the message can be decrypted only after enforcing the attached obligation. OB-ABE has two more properties: (i) OB-ABE is a "conservative extension" of the underlying ABE scheme, preserving its security properties; (ii) OB-ABE is "backward compatible" in the sense that any ciphertext produced by an ABE scheme can be decrypted by its extended OB-ABE version, and moreover, a ciphertext produced by an OB-ABE scheme can be decrypted by its underlying ABE scheme provided that the ciphertext does not have obligations attached. We also implement in C using Intel SGX a prototype of an OB-ABE extending the well-known ciphertext-policy ABE.
|
|
| 9. |
- Aydogdu, Canan, 1978, et al.
(författare)
-
Radar Interference Mitigation for Automated Driving : Exploring Proactive Strategies
- 2020
-
Ingår i: IEEE signal processing magazine (Print). - Piscataway : Institute of Electrical and Electronics Engineers (IEEE). - 1053-5888 .- 1558-0792. ; 37:4, s. 72-84
-
Tidskriftsartikel (refereegranskat)abstract
- Autonomous driving relies on a variety of sensors, especially radars, which have unique robustness under heavy rain/fog/snow and poor light conditions. With the rapid increase of the amount of radars used on modern vehicles, where most radars operate in the same frequency band, the risk of radar interference becomes a compelling issue. This article analyzes automotive radar interference and proposes several new approaches that combine industrial and academic expertise toward the goal of achieving interference-free autonomous driving (AD). © IEEE.
|
|
| 10. |
- Aydogdu, Canan, 1978, et al.
(författare)
-
Radar Interference Mitigation through Active Coordination
- 2021
-
Ingår i: IEEE National Radar Conference - Proceedings. - : IEEE. - 1097-5659. ; 2021-May, s. 1-6
-
Konferensbidrag (refereegranskat)abstract
- Intelligent transportation is heavily reliant on radar, which have unique robustness under heavy rain/fog/snow and poor light conditions. With the rapid increase of the number of radars used on modern vehicles, most operating in the same frequency band, the risk of radar interference becomes an important issue. As in radio communication, interference can be mitigated through coordination. We present and evaluate two approaches for radar interference coordination, one for FMCW and one for OFDM, and highlight their challenges and opportunities.
|
|
