1317 search results - page 146 / 264 » Fusions of Description Logics and Abstract Description Syste... |
199
click to vote
ICSOC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
156
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
148
click to vote
CLEAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Reliable measures of person positions are needed for computational perception of human activities taking place in a smart-room environment. In this work, we present the P...
144
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
165
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract — A datapath synthesis system (DPSS) for the reconfigurable datapath architecture (rDPA) is presented. The DPSS allows automatic mapping of high level descriptions onto...