Sciweavers

3432 search results - page 194 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
DANCE
2002
IEEE
15 years 11 months ago
Modeling CPU Demand in Heterogeneous Active Networks
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...
Virginie Galtier, Kevin L. Mills, Yannick Carlinet
APWEB
2008
Springer
15 years 7 months ago
Protecting Information Sharing in Distributed Collaborative Environment
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
Min Li, Hua Wang
CHARME
2001
Springer
92views Hardware» more  CHARME 2001»
15 years 9 months ago
Induction-Oriented Formal Verification in Symmetric Interconnection Networks
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
Eric Gascard, Laurence Pierre
165
Voted
SEKE
1994
Springer
15 years 10 months ago
Measuring similarity between software artifacts
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
George Spanoudakis, Panos Constantopoulos
PERCOM
2007
ACM
16 years 5 months ago
Towards an Open Source Toolkit for Ubiquitous Device Authentication
Most authentication protocols designed for ubiquitous computing environments try to solve the problem of intuitive, scalable, secure authentication of wireless communication. Due ...
Rene Mayrhofer