Sciweavers

3404 search results - page 275 / 681
» EJB Design Patterns
Sort
View
EUROMICRO
2006
IEEE
16 years 20 days ago
Using WS-BPEL to Implement Software Fault Tolerance for Web Services
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
Glen Dobson
IROS
2006
IEEE
147views Robotics» more  IROS 2006»
16 years 19 days ago
A Hybrid Control Architecture for Autonomous Robotic Fish
— This paper presents a hybrid control architecture for autonomous robotic fishes which are able to swim and navigate in unknown or dynamically changing environments. It has a t...
Jindong Liu, Huosheng Hu, Dongbing Gu
SEFM
2005
IEEE
16 years 6 days ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
ICCAD
1994
IEEE
112views Hardware» more  ICCAD 1994»
15 years 10 months ago
Selecting partial scan flip-flops for circuit partitioning
This paper presents a new method of selecting scan ipops (FFs) in partial scan designs of sequential circuits. Scan FFs are chosen so that the whole circuit can be partitioned in...
Toshinobu Ono
DAGSTUHL
2004
15 years 8 months ago
Towards an Engineering Approach to Component Adaptation
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Ov...