1395 search results - page 97 / 279 » Incremental Construction Approach for Distributed System Spe... |
155
click to vote
HOTDEP
2008
15 years 9 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
256
click to vote
SIGCOMM
2006
ACM
16 years 18 days ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...
207
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
150
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
185
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
An atlas defines a common coordinate system to enable the comparison of data from different subjects. Key in the development of a brain atlas are the identification of a common ...