Sciweavers

2757 search results - page 195 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
15 years 10 months ago
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
Joel Huselius, Johan Kraft, Hans Hansson, Sasikuma...
EUROPAR
2007
Springer
16 years 23 days ago
On Detecting Termination in the Crash-Recovery Model
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
Felix C. Freiling, Matthias Majuntke, Neeraj Mitta...
FPL
2007
Springer
94views Hardware» more  FPL 2007»
16 years 23 days ago
A Many-core Implementation based on the Reconfigurable Mesh Model
The reconfigurable mesh is a model for massively parallel computing for which many algorithms with very low complexity have been developed. These algorithms execute cycles of bus...
Heiner Giefers, Marco Platzner
ECIS
2000
15 years 8 months ago
Modeling the Dialogue Aspects of an Information System
- In this paper we investigate techniques offered by current object-oriented development methods for the specification of the user-system dialogue aspect of a software system. Curr...
Monique Snoeck, Guido Dedene
ICOIN
2007
Springer
16 years 22 days ago
On Modeling Counteraction against TCP SYN Flooding
One of the main problems of network security is Distributed Denial of Service (DDoS) caused by TCP SYN packet flooding. To counteract SYN flooding attack, several defense methods...
Vladimir V. Shakhov, Hyunseung Choo