Sciweavers

3555 search results - page 289 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
ICFEM
2004
Springer
15 years 12 months ago
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs
d Abstract) Carsten Sinz and Wolfgang K¨uchlin Symbolic Computation Group, WSI for Computer Science, University of T¨ubingen and Steinbeis Technology Transfer Center OIT, 72076 T...
Carsten Sinz, Wolfgang Küchlin
209
Voted
JSAC
2006
81views more  JSAC 2006»
15 years 6 months ago
Fast linearized energy allocation for multimedia loading on multicarrier systems
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
Michael A. Enright, C. C. Jay Kuo
ECIS
2000
15 years 8 months ago
Towards a Grounded Theory of Information Systems for the International Firm: Critical Variables and Causal Networks
-International Information Systems, often of critical importance for the operations of the multinational enterprise, are poorly researches and there is a dearth of theoretical fram...
Hans P. Lehmann
FOIKS
2004
Springer
15 years 12 months ago
Abstract State Machines: An Overview of the Project
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
Yuri Gurevich
CLEIEJ
2002
192views more  CLEIEJ 2002»
15 years 6 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...