Sciweavers

1400 search results - page 169 / 280
» Dynamic Galois Theory
Sort
View
IFIP
1999
Springer
15 years 3 months ago
Improving product development: Towards a framework for integrating artefact and process models
This paper initiates a framework for improving product development processes. The starting point is the present gap between the theory of product and process models and their actu...
Mervi Ranta, Martti Mäntylä, Riitta Smed...
GLVLSI
1997
IEEE
110views VLSI» more  GLVLSI 1997»
15 years 3 months ago
Algorithm and Hardware Support for Branch Anticipation
Multi-dimensional systems containing nested loops are widely used to model scientific applications such as image processing, geophysical signal processing and fluid dynamics. Ho...
Ted Zhihong Yu, Edwin Hsing-Mean Sha, Nelson L. Pa...
INFOCOM
1997
IEEE
15 years 3 months ago
Time Scale Analysis of an ATM Queueing System with Long-Range Dependent Traffic
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
Gilberto Mayor, John A. Silvester
TARK
1998
Springer
15 years 3 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
RTCSA
1997
IEEE
15 years 3 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha