3271 search results - page 166 / 655 » Controlled Multicast Framework |
174
Voted
FROCOS
2005
Springer
16 years 14 days ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
200
click to vote
ARTQOS
2003
Springer
16 years 5 days ago
2003
Springer
This paper investigates an attempt to establish a QoS class that supports long-lived, bulk-data TCP flows that require a minimum rate from the network. The approach is based on a ...
200
Voted
CONTEXT
2003
Springer
16 years 5 days ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
220
click to vote
IEEEICCI
2002
IEEE
15 years 12 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
176
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...