Sciweavers

2487 search results - page 382 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
123
Voted
IUI
1997
ACM
15 years 6 months ago
Decision Making in Intelligent User Interfaces
Intelligent user interfaces are characterised by their capability to adapt at run-time and make several communication decisions concerning ‘what’, ‘when’, ‘why’ and â€...
Constantine Stephanidis, Charalampos Karagiannidis...
ICCAD
1993
IEEE
139views Hardware» more  ICCAD 1993»
15 years 6 months ago
Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors
— One major problem in pipeline synthesis is the detection and resolution of pipeline hazards. In this paper we present a new solution to the problem in the domain of pipelined a...
Ing-Jer Huang, Alvin M. Despain
CODES
2010
IEEE
15 years 12 days ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
164
Voted
CSMR
2010
IEEE
14 years 9 months ago
Co-evolving Annotations and Source Code through Smart Annotations
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...
Andy Kellens, Carlos Noguera, Kris De Schutter, Co...
RE
2007
Springer
15 years 8 months ago
Consistency Checking of Conceptual Models via Model Merging
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos...