Sciweavers

1004 search results - page 108 / 201
» Modeling internet topology dynamics
Sort
View
SMA
2003
ACM
170views Solid Modeling» more  SMA 2003»
15 years 10 months ago
Contour generators of evolving implicit surfaces
The contour generator is an important visibility feature of a smooth object seen under parallel projection. It is the curve on the surface which seperates front-facing regions fro...
Simon Plantinga, Gert Vegter
WORDS
2005
IEEE
15 years 11 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
ICWE
2007
Springer
15 years 11 months ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
CSE
2008
IEEE
15 years 12 months ago
A Trust Model Applied to E-mail Servers
E-mail services are essential in the Internet. However, the basic e-mail architecture presents problems that opens it to several threats. Alternatives have been proposed to solve ...
Leonardo de Oliveira, Carlos Maziero
FIDJI
2003
Springer
15 years 10 months ago
Distributed Composite Objects: A New Object Model for Cooperative Applications
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
Guray Yilmaz, Nadia Erdogan