Sciweavers

3192 search results - page 159 / 639
» A Requirements-Driven Development Methodology
Sort
View
160
Voted
FORMATS
2003
Springer
15 years 11 months ago
On Timing Analysis of Combinational Circuits
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
Ramzi Ben Salah, Marius Bozga, Oded Maler
157
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
Separation of Concerns in Agent Applications by Roles
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
146
Voted
APAQS
2000
IEEE
15 years 10 months ago
Quality Improvement - The Six Sigma Way
Six Sigma provides an effective mechanism to focus on customer requirements, through improvement of process quality. In the Global Engineering Development Center of Tata Consultan...
Mala Murugappan, Gargi Keeni
ISSS
1995
IEEE
83views Hardware» more  ISSS 1995»
15 years 9 months ago
Profiling in the ASP codesign environment
Automation of the Hardware/Software Codesign methodology brings with it the need to develop sophisticated high-level profiling tools. This paper presents a profiling tool which us...
Matthew F. Parkinson, Sri Parameswaran
FLAIRS
2007
15 years 8 months ago
Extending Community Ontology Using Automatically Generated Suggestions
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
Vít Novácek, Maciej Dabrowski, Sebas...