Sciweavers

4360 search results - page 20 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
AOSD
2007
ACM
13 years 11 months ago
Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, W...
SAC
2005
ACM
14 years 1 months ago
Method construction - a core approach to organizational engineering
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
Christian Braun, Felix Wortmann, Martin Hafner, Ro...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICSE
2004
IEEE-ACM
14 years 7 months ago
DiscoTect: A System for Discovering Architectures from Running Systems
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
Hong Yan, David Garlan, Bradley R. Schmerl, Jonath...
CORR
2010
Springer
218views Education» more  CORR 2010»
13 years 4 months ago
User Centered and Ontology Based Information Retrieval System for Life Sciences
Because of the increasing number of electronic data, designing efficient tools to retrieve and exploit documents is a major challenge. Current search engines suffer from two main d...
Sylvie Ranwez, Vincent Ranwez, Mohameth-Fran&ccedi...