Sciweavers

3432 search results - page 260 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
IAT
2003
IEEE
16 years 16 days ago
Problem-solving in open environments
With the increasing use of the internet, many problemsolving tasks such as resource allocation, scheduling, planning, and configuration pose themselves in an open setting involvi...
Santiago Macho-Gonzalez, Boi Faltings
MICCAI
2003
Springer
16 years 8 months ago
Determining Epicardial Surface Motion Using Elastic Registration: Towards Virtual Reality Guidance of Minimally Invasive Cardiac
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
Marcin Wierzbicki, Terry M. Peters
DAC
2000
ACM
16 years 8 months ago
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima...
ICCSA
2007
Springer
16 years 1 months ago
3D Spatial Operations in Geo DBMS Environment for 3D GIS
Next generation of GIS software should be able to manipulate and analyse complex situations of real world phenomena. One of the desired components in such software or system is the...
Chen Tet-Khuan, Alias Abdul-Rahman, Sisi Zlatanova
EUROMICRO
2009
IEEE
16 years 2 months ago
A Component-Based Technology for Hardware and Software Components
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
Luka Lednicki, Ana Petricic, Mario Zagar