Sciweavers

3088 search results - page 193 / 618
» A Teleradiology System Design Case
Sort
View
SIGADA
2005
Springer
16 years 3 days ago
Modeling SPARK systems with UML
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
Xavier Sautejeau
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 10 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
MCSS
2006
Springer
15 years 6 months ago
A performance comparison of robust adaptive controllers: linear systems
We consider robust adaptive control designs for relative degree one, minimum phase linear systems of known high frequency gain. The designs are based on the dead-zone and projecti...
Ahmad Sanei, Mark French
COMSIS
2004
119views more  COMSIS 2004»
15 years 6 months ago
A Method and a Tool for Rapid Prototyping of Large-Scale Business Information Systems
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
Gordana Milosavljevic, Branko Perisic
ICTAI
2005
IEEE
16 years 7 days ago
Applying a Taxonomy of Formation Control in Developing a Robotic System
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
Harry Chia-Hung Hsu, Alan Liu