Sciweavers

256 search results - page 7 / 52
» Computing by Observing Bio-systems: The Case of Sticker Syst...
Sort
View
RTCSA
2006
IEEE
14 years 1 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
ISEUD
2009
Springer
14 years 1 months ago
Mutual Development: A Case Study in Customer-Initiated Software Product Development
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
Renate Andersen, Anders I. Mørch
GC
2004
Springer
14 years 22 days ago
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Johannes Borgström, Uwe Nestmann, Luc Onana A...
ECIS
2004
13 years 8 months ago
Failures of reward-driven behaviour in industry: a case of systems, management and creativity
Creativity is a much needed quality in today's business and therefore an important research area. Whilst implementing and evaluating computer support for electronic brainstor...
Dick Stenmark
IJNSEC
2007
125views more  IJNSEC 2007»
13 years 7 months ago
An Observation-Centric Analysis on the Modeling of Anomaly-based Intrusion Detection
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
Zonghua Zhang, Hong Shen, Yingpeng Sang