Sciweavers

1004 search results - page 108 / 201
» Modeling internet topology dynamics
Sort
View
SMA
2003
ACM
170views Solid Modeling» more  SMA 2003»
14 years 2 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
14 years 2 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
14 years 2 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
14 years 3 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
14 years 2 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