LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Name
Swedish Institute of Computer Science Publications Database
Type
Institutional Repository
Items
1204 Publications
Compatibility
OpenAIRE Basic (DRIVER OA)
OAI-PMH
http://soda.swedish-ict.se/cgi/oai2
More information
Detailed data provider information (OpenDOAR)

 

  • Harnessing Variability in Product-lines of Self-adaptive Software Systems

    This work studies systematic reuse in the context of self-adaptive software systems. In our work, we realized that managing variability for such platforms is different compared to traditional platforms, primarily due to the run-time variability and system uncertainties. Motivated by the fact that recent trends show that self-adaptation will be used more often in future system generation and that software reuse state-of-practice or research do not provide sufficient support, we have investigat...

    Computer aided hardware design by space-time mappings

    This is a thesis work for the M.Sc. degree in mathematics and computer science at the University of Stockholm, accomplished at SICS, Swedish Institute of Computer Science, Kista during the summer and autumn 1989. This thesis deals with hardware synthesis by space-time mappings. It is a method to map the steps in algorithm to distinct events in a space-time. If the pattern of an algorithm is known in advance then the algorithm can be implemented directly in the hardware w...

    On the applicability of non-monotonic logic to formal reasoning in continuous time

    The paper criticizes arguments recently advanced by Shoham, McDermott and Sandewall, which purport to demonstrate the relevance of non-monotonic logic to the formalization of reasoning about the evolution of mechanical systems in continuous time. The first half of the paper examines the "Extended Prediction Problem" of Shoham and McDermott; reasons are given to support the claim that the "problem" is the product of a mistaken understanding of the the formal basis of Newtonian mechanics, and h...

    Lexical acquisition: the Swedish VEX System

    The paper describes S-VEX, the lexical acquisition component of the Swedish Core Language Engine (S-CLE). The S-CLE is a general purpose natural language processing system for Swedish developed from its English counter-part, the SRI Core Language Engine. In parallel with the development of the S-CLE, a Swedish version of the English VEX (Vocabulary EXpander) system was designed. S-VEX allows for the creation of lexicon entries by users with knowledge of an application doma...

    Applicability of LTE Public Key Infrastructure Based Device Authentication in Industrial Plants

    The security in industrial automation domain using cryptography mechanisms is being discussed in both industry and academia. An efficient key management system is required to support cryptography for both symmetric key and public/private key encryption. The key management should ensure that the device is verified before distributing the initial key parameters to devices. The software/firmware used in the device comes from manufacturers, therefore the initial authenticity of the device can be ...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Funders in data provider publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Projects with most Publications

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark