Search

Your search keyword '"Boström, Pontus"' showing total 206 results
Start Over Author "Boström, Pontus"
206 results on '"Boström, Pontus"'

2. Concurrent Scheduling of Event-B Models

Author

Boström, Pontus, Degerlund, Fredrik, Sere, Kaisa, and Waldén, Marina

Subjects
Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that can be refined semi-independently and executed in parallel. In this paper, we show how to introduce explicit control flow for the concurrent sub-models in the form of event schedules. We explore how schedules can be designed so that their application results in a correctness-preserving refinement step. For practical application, two patterns for schedule introduction are provided, together with their associated proof obligations. We demonstrate our method by applying it on the dining philosophers problem., Comment: In Proceedings Refine 2011, arXiv:1106.3488

Published
2011
Full Text
View/download PDF

3. Specification and Automated Verification of Dynamic Dataflow Networks

Author

Wiik, Jonatan, Boström, Pontus, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Cimatti, Alessandro, editor, and Sirjani, Marjan, editor

Published
2017
Full Text
View/download PDF

5. Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems

Author

Boström, Pontus, Heikkilä, Mikko, Huova, Mikko, Waldén, Marina, Linjama, Matti, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Campos, Javier, editor, and Haverkort, Boudewijn R., editor

Published
2015
Full Text
View/download PDF

7. Verification and Validation of a Pressure Control Unit for Hydraulic Systems

Author

Boström, Pontus, Heikkilä, Mikko, Huova, Mikko, Waldén, Marina, Linjama, Matti, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Majzik, István, editor, and Vieira, Marco, editor

Published
2014
Full Text
View/download PDF

8. Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

Author

Wiik, Jonatan, Boström, Pontus, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Merz, Stephan, editor, and Pang, Jun, editor

Published
2014
Full Text
View/download PDF

9. Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Author

Boström, Pontus, Alexeev, Petr, Heikkilä, Mikko, Huova, Mikko, Waldén, Marina, Linjama, Matti, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lang, Frédéric, editor, and Flammini, Francesco, editor

Published
2014
Full Text
View/download PDF

10. Refinement-Based Development of Timed Systems

Author

Berthing, Jesper, Boström, Pontus, Sere, Kaisa, Tsiopoulos, Leonidas, Vain, Jüri, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Derrick, John, editor, Gnesi, Stefania, editor, Latella, Diego, editor, and Treharne, Helen, editor

Published
2012
Full Text
View/download PDF

11. Contract-Based Verification of Simulink Models

Author

Boström, Pontus, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Qin, Shengchao, editor, and Qiu, Zongyan, editor

Published
2011
Full Text
View/download PDF

12. Creating Sequential Programs from Event-B Models

Author

Boström, Pontus, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Méry, Dominique, editor, and Merz, Stephan, editor

Published
2010
Full Text
View/download PDF

14. β-Aminoisobutyric Acid Induces Browning of White Fat and Hepatic β-Oxidation and Is Inversely Correlated with Cardiometabolic Risk Factors

Author

Roberts, Lee D., Boström, Pontus, O’Sullivan, John F., Schinzel, Robert T., Lewis, Gregory D., Dejam, Andre, Lee, Youn-Kyoung, Palma, Melinda J., Calhoun, Sondra, Georgiadi, Anastasia, Chen, Ming-Huei, Ramachandran, Vasan S., Larson, Martin G., Bouchard, Claude, Rankinen, Tuomo, Souza, Amanda L., Clish, Clary B., Wang, Thomas J., Estall, Jennifer L., Soukas, Alexander A., Cowan, Chad A., Spiegelman, Bruce M., and Gerszten, Robert E.

Published
2014
Full Text
View/download PDF

15. Stepwise Development of Simulink Models Using the Refinement Calculus Framework

Author

Boström, Pontus, Morel, Lionel, Waldén, Marina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jones, Cliff B., editor, Liu, Zhiming, editor, and Woodcock, Jim, editor

Published
2007
Full Text
View/download PDF

16. Formal Transformation of Platform Independent Models into Platform Specific Models

Author

Boström, Pontus, Neovius, Mats, Oliver, Ian, Waldén, Marina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

19. Development of Fault Tolerant Grid Applications Using Distributed B

Author

Boström, Pontus, Waldén, Marina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Romijn, Judi, editor, Smith, Graeme, editor, and van de Pol, Jaco, editor

Published
2005
Full Text
View/download PDF

20. An Extension of Event B for Developing Grid Systems

Author

Boström, Pontus, Waldén, Marina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Treharne, Helen, editor, King, Steve, editor, Henson, Martin, editor, and Schneider, Steve, editor

Published
2005
Full Text
View/download PDF

39. Boström et al. reply

Author

Boström, Pontus, Wu, Jun, Jedrychowski, Mark P., Korde, Anisha, Ye, Li, Lo, James C., Rasbach, Kyle A., Boström, Elisabeth Almer, Choi, Jang Hyun, Long, Jonathan Z., Kajimura, Shingo, Zingaretti, Maria Cristina, Vind, Birgitte F., Tu, Hua, Cinti, Saverio, Højlund, Kurt, Gygi, Steven P., and Spiegelmn, Bruce M.

Published
2012
Full Text
View/download PDF

41. The VLDL receptor promotes lipotoxicity and increases mortality in mice following an acute myocardial infarction

Author

Perman, Jeanna C., Boström, Pontus, Lindbom, Malin, Lidberg, Ulf, StÅhlman, Marcus, Hägg, Daniel, Lindskog, Henrik, Scharin Täng, Margareta, Omerovic, Elmir, Mattsson Hultén, Lillemor, Jeppsson, Anders, Petursson, Petur, Herlitz, Johan, Olivecrona, Gunilla, Strickland, Dudley K., Ekroos, Kim, Olofsson, Sven-Olof, and Borén, Jan

Published
2011
Full Text
View/download PDF

49. Statement of Retraction. The SNARE Protein SNAP23 and the SNARE-Interacting Protein Munc18c in Human Skeletal Muscle Are Implicated in Insulin Resistance/Type 2 Diabetes. Diabetes 2010;59:1870–1878. DOI: 10.2337/db09-1503. PMID: 20460426

Author

Boström, Pontus, primary, Andersson, Linda, additional, Vind, Birgitte, additional, Håversen, Liliana, additional, Rutberg, Mikael, additional, Wickström, Ylva, additional, Larsson, Erik, additional, Jansson, Per-Anders, additional, Svensson, Maria K., additional, Brånemark, Richard, additional, Ling, Charlotte, additional, Beck-Nielsen, Henning, additional, Borén, Jan, additional, Højlund, Kurt, additional, and Olofsson, Sven-Olof, additional

Published
2017
Full Text
View/download PDF

50. Community Management - The Role Community Managers Play in the Video Game Industry in Sweden

Author

Boström, Pontus and Hansen, Isabell

Subjects
Community Management, Community Manager, Customer Knowledge, Community, Video Game Industry, Knowledge Transfer
Abstract

The video game industry has developed into a multibillion dollar industry. As the rise of social media and other online networks has enabled consumers to more easily express their opinions and critique about the products, these platforms become important when it comes to obtaining customer knowledge. The responsibilities of a community manager includes to obtain this knowledge and share it further with the game developers. Hence, a shared effort between the firm and the online communities of the firm can help create value for the customers in the long run. This study aims to gain a deeper understanding of the community manager's role within the process of transferring information from the communities into knowledge for the company, and also to explore how it differs in different sized companies. Theory regarding knowledge transfer and conversion, as well as customer knowledge management theory have be covered and in addition also theories on online communities. To achieve the aim of the study a qualitative and exploratory research was undertaken by selecting four case companies. Gathering the empirical findings, it became clear that one company had the most interesting community out of the four cases and therefore it became the main focus in the analysis. A community manager’s role is different depending on the company and its size. Larger firms are more concerned with a social media presence and smaller firms are more concerned with maintaining close relationships. Reaching a conclusion, it was clear that the community manager at Expansive Worlds, had several different roles within the process of knowledge transfer, in terms of acquiring, combining, and sharing knowledge.

Published
2015

Catalog

Books, media, physical & digital resources
See catalog results