3271 search results - page 166 / 655 » Controlled Multicast Framework |
135
click to vote
FROCOS
2005
Springer
15 years 10 months 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...
155
click to vote
ARTQOS
2003
Springer
15 years 9 months 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 ...
150
click to vote
CONTEXT
2003
Springer
15 years 9 months 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 ...
163
click to vote
IEEEICCI
2002
IEEE
15 years 9 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...
128
click to vote
DIS
2001
Springer
15 years 9 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...