851 search results - page 36 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
124
Voted
EDOC
2009
IEEE
15 years 6 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
151
click to vote
SCOPES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
140
Voted
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
136
click to vote
ISSS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
128
click to vote
EKAW
2008
Springer
15 years 4 months ago
2008
Springer
With the advent of the Web and the efforts towards a Semantic Web the nature of knowledge engineering has changed drastically. In this position paper we propose four principles fo...