Sciweavers

5268 search results - page 449 / 1054
» Analysis of Design Process Dynamics
Sort
View
IEEEARES
2006
IEEE
16 years 26 days ago
Sandboxing in myKlaim
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
René Rydhof Hansen, Christian W. Probst, Fl...
ICRA
2009
IEEE
144views Robotics» more  ICRA 2009»
16 years 1 months ago
Analysis of sliding of a soft fingertip embedded with a novel micro force/moment sensor: Simulation, experiment, and application
— We have investigated the deformation of a soft fingertip when it slides. This process was first simulated using the non-linear Finite Element Analysis (FEA) method. Based on ...
Van Anh Ho, Dzung Viet Dao, Susumu Sugiyama, Shini...
ISPD
1998
ACM
111views Hardware» more  ISPD 1998»
15 years 11 months ago
A pattern matching algorithm for verification and analysis of very large IC layouts
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
Mariusz Niewczas, Wojciech Maly, Andrzej J. Strojw...
CAISE
2008
Springer
15 years 8 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini