3239 search results - page 607 / 648 » A Logical Process Calculus |
128
click to vote
ASWSD
2004
Springer
15 years 6 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
105
click to vote
ICMI
2004
Springer
15 years 5 months ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
109
click to vote
PROFES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
113
click to vote
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
120
Voted
BIBE
2003
IEEE
15 years 5 months ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...