Sciweavers

922 search results - page 91 / 185
» Engineering a complex ontology with time
Sort
View
GRID
2004
Springer
15 years 12 months ago
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
Jia Yu, Rajkumar Buyya
SEKE
2004
Springer
15 years 11 months ago
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
José A. Cruz-Lemus, Marcela Genero, Jos&eac...
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
APSEC
1999
IEEE
15 years 10 months ago
Proposal of a Support System for Device Driver Generation
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...
Tetsuro Katayama, Keizo Saisho, Akira Fukuda
CODES
1999
IEEE
15 years 10 months ago
Co-design tool construction using APICES
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
Ansgar Bredenfeld