Sciweavers

2757 search results - page 124 / 552
» On separating systems
Sort
View
ENASE
2009
179views Hardware» more  ENASE 2009»
15 years 2 months ago
Evolving System's Modeling and Simulation through Reflective Petri Nets
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
Lorenzo Capra, Walter Cazzola
EDCC
2006
Springer
15 years 8 months ago
Construction of a Highly Dependable Operating System
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy drive...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
IKE
2003
15 years 5 months ago
A Role Agent Model for Collaborative Systems
Collaboration based on computers involves two factors, human users and computer systems. When we hope to build a feasible and efficient collaborative system, we must consider both...
Haibin Zhu
WACV
2002
IEEE
15 years 9 months ago
FASU: A Full Automatic Segmenting System for Ultrasound Images
In this paper, we propose a novel segmenting system for ultrasound images. This solution is separated into three steps. First, we filter noise by using the “peakand-valley” wi...
Nualsawat Hiransakolwong, Piotr S. Windyga, Kien A...
WETICE
2009
IEEE
15 years 11 months ago
UniWiki: A Collaborative P2P System for Distributed Wiki Applications
The ever growing request for digital information raises the need for content distribution architectures providing high storage capacity, data availability and good performance. Wh...
Gérald Oster, Pascal Molli, Sergiu Dumitriu...