Sciweavers

7080 search results - page 533 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
129
Voted
ELPUB
2000
ACM
15 years 9 months ago
Multimedia Cd-Rom as a Medium for Manuscript Preservation and Dissemination: The Design and Development of "Treasures of Islam"
The paper discusses the use of electronic publishing for the preservation and dissemination of rare manuscript material. It is based both upon the authors’ earlier work on multi...
Andrew Large, Jamshid Beheshti, Haidar Moukdad
132
Voted
ACMSE
2004
ACM
15 years 10 months ago
Distributed robotic target acquisition using Bluetooth communication
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
J. T. McClain, Bradley J. Wimpey, D. H. Barnhard, ...
WWW
2005
ACM
16 years 5 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama
SAMOS
2004
Springer
15 years 10 months ago
CoDeL: Automatically Synthesizing Network Interface Controllers
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos...
ICSE
2000
IEEE-ACM
15 years 8 months ago
Galileo: a tool built from mass-market applications
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
David Coppit, Kevin J. Sullivan