1153 search results - page 156 / 231 » Compositional Specification Calculus for Information Systems... |
124
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Taxon specific hybridization probes in combination with a variety of commonly used hybridization formats nowadays are standard tools in microbial identification. A fre...
130
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
112
Voted
WSC
1998
15 years 5 months ago
1998
The development of a Distributed Information System (DIS) can lead to critical bottlenecks because of the underlying architecture, which is becoming more and more complex. Todays ...
114
Voted
IEEEIAS
2009
IEEE
15 years 10 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
123
Voted
SIROCCO
2004
15 years 5 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...