695 search results - page 109 / 139 » Dynamic Software Architectures Verification using DynAlloy |
EMSOFT
2001
Springer
14 years 2 days ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— Tendon driven mechanisms have been considered in robotic design for several decades. They provide lightweight end effectors with high dynamics. Using remote actuators it is pos...
COMSWARE
2007
IEEE
14 years 1 months ago
2007
IEEE
—Traditional authentication systems employed on Internet are facing an acute problem of intrusions. In this context we propose a neural architecture for user authentication throu...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Building software systems with reusable components brings many advantages. The development becomes more efficient, the reliability of the products is enhanced, and the maintenance...
CSCW
1996
ACM
13 years 11 months ago
1996
ACM
Our experience with Internet-based scientific collaboratories indicates that they need to be user-extensible, allow users to add tools and objects dynamically to shared workspaces...