3828 search results - page 752 / 766 » Proof-Based System Engineering Using a Virtual System Model |
103
Voted
IMC
2007
ACM
15 years 1 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
116
click to vote
IPPS
2008
IEEE
15 years 6 months ago
2008
IEEE
Our digital universe is growing, creating exploding amounts of data which need to be searched, protected and filtered. String searching is at the core of the tools we use to curb...
106
Voted
WINET
2002
14 years 11 months ago
2002
In the near future, we will see dramatic changes in computing and networking hardware. A large number of devices (e.g., phones, PDAs, even small household appliances) will become c...
93
Voted
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
BMCBI
2007
14 years 11 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...