Sciweavers

3257 search results - page 386 / 652
» Some Results on Effective Randomness
Sort
View
CAD
2005
Springer
15 years 6 months ago
CAD tools for aesthetic engineering
The role of computers and of computer-aided design tools for the creation of geometrical shapes that will be judged primarily by aesthetic ations is reviewed. Examples are the pro...
Carlo H. Séquin
JNW
2007
88views more  JNW 2007»
15 years 6 months ago
Integrated Proactive Admission Control Technique For both UDP And TCP Traffic Flows
—Real time traffic adopting UDP at the transport layer needs some quality of service. It is offered through an admission control scheme. This paper adopts one such scheme which i...
Lakshmanan Senthilkumar, Venkadachalam Sankaranara...
BSL
2004
100views more  BSL 2004»
15 years 6 months ago
Forcing in proof theory
Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mat...
Jeremy Avigad
CN
2004
103views more  CN 2004»
15 years 6 months ago
Providing end-to-end service level agreements across multiple ISP networks
Due to the autonomous nature of ISPs, the service level agreement (SLA) offering is currently confined to within a single provider network. In this work, we examine some methods o...
Panita Pongpaibool, Hyong S. Kim
INFSOF
2000
109views more  INFSOF 2000»
15 years 6 months ago
Constructing component-based software engineering environments: issues and experiences
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
John C. Grundy, Warwick B. Mugridge, John G. Hoski...