Sciweavers

3045 search results - page 424 / 609
» Formal Approaches to Software Architecture
Sort
View
DAC
1995
ACM
15 years 10 months ago
Rephasing: A Transformation Technique for the Manipulation of Timing Constraints
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
Miodrag Potkonjak, Mani B. Srivastava
IC
2003
15 years 8 months ago
Efficiency of Soap Versus JMS
Parallel application programmers and software engineers have a variety of paradigms at their disposal. Some of the tools include traditional environments such as Parallel Virtual ...
Roger Eggen, Suresh Sunku
AAAI
1997
15 years 8 months ago
Efficient Management of Very Large Ontologies
This paper describes an environment for supporting very large ontologies. The system can be used on single PCs, workstations, a cluster of workstations, and high-end parallel supe...
Kilian Stoffel, Merwyn G. Taylor, James A. Hendler
CSUR
2000
61views more  CSUR 2000»
15 years 6 months ago
Framelets - small and loosely coupled frameworks
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
Wolfgang Pree, Kai Koskimies
AISS
2010
142views more  AISS 2010»
15 years 4 months ago
Service-Oriented Business-IT Alignment: A SOA Governance Model
The concept of Service Oriented Architecture (SOA) has had a significant impact not only on software engineering but on the analysis of an organization's business layer as we...
Mohammad Kazem Haki, Maia Wentland Forte