1721 search results - page 224 / 345 » The fundamentals of hybrid systems modelers |
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
— Peer-to-peer (P2P) technology for TV broadcasting over the Internet is becoming more and more popular in the very last years. This paper introduces a network-wide efficiency m...
JCP
2008
14 years 10 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
LCPC
1993
Springer
15 years 2 months ago
1993
Springer
This paper presents a model for concurrent programming, where programs (concurrent program structures) are represented as composition expressions over component programs with suita...
CSREAEEE
2006
14 years 11 months ago
2006
Research was conducted in the area of sustainable knowledge extraction from e-business systems and technologies. Differentiating approaches from three notable authors in the field...
89
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: The biological information in genomic expression data can be understood, and computationally extracted, in the context of systems of interacting molecules. The automat...