Sciweavers

1568 search results - page 242 / 314
» Requirements and Services for Metadata Management
Sort
View
MKM
2005
Springer
15 years 4 months ago
Computational Origami of a Morley's Triangle
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
PPPJ
2004
ACM
15 years 4 months ago
Embedding JAAS in agent roles to apply local security policies
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
BIRTHDAY
2003
Springer
15 years 4 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
INFOCOM
2002
IEEE
15 years 4 months ago
Inference and Labeling of Metric-Induced Network Topologies
—The development and deployment of distributed network-aware applications and services require the ability to compile and maintain a model of the underlying network resources wit...
Azer Bestavros, John W. Byers, Khaled Harfoush
ITCC
2002
IEEE
15 years 4 months ago
A Fast Non-Linear Adaptive Algorithm for Video Traffic Prediction
† To guarantee quality of service (QoS), the requirements for video transmission such as delay and cell loss rate (CLR) are very stringent. These constraints are difficult to mee...
Hong Zhao, Nirwan Ansari, Yun Q. Shi