5904 search results - page 362 / 1181 » Requirements for a Composition Language |
195
Voted
ICS
2004
Tsinghua U.
16 years 5 days ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...
174
click to vote
EDOC
2003
IEEE
16 years 3 days ago
2003
IEEE
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunat...
174
click to vote
SP
2003
IEEE
16 years 2 days ago
2003
IEEE
Language run-time systems are often called upon to safely execute mutually distrustful tasks within the same runtime, protecting them from other tasks’ bugs or otherwise hostile...
192
click to vote
CCS
2003
ACM
16 years 1 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
183
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...