4418 search results - page 753 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
176
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
196
click to vote
SASN
2006
ACM
16 years 11 days ago
2006
ACM
Intrusion or misbehaviour detection systems are an important and widely accepted security tool in computer and wireless sensor networks. Their aim is to detect misbehaving or faul...
185
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
195
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Image data are often composed of two or more geometrically distinct constituents; in galaxy catalogs, for instance, one sees a mixture of pointlike structures (galaxy supercluster...