1395 search results - page 97 / 279 » Incremental Construction Approach for Distributed System Spe... |
HOTDEP
2008
15 years 3 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...
186
click to vote
SIGCOMM
2006
ACM
15 years 7 months 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...
141
click to vote
EDOC
2006
IEEE
15 years 5 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 ...
IPPS
2000
IEEE
15 years 5 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...
113
click to vote
ISBI
2009
IEEE
15 years 8 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 ...