1888 search results - page 193 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
163
click to vote
ADAEUROPE
2008
Springer
15 years 10 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
124
click to vote
PDSE
2000
15 years 5 months ago
2000
To support multimedia applications in mobile environments, it will be necessary for applications to be aware of the underlying environmental conditions, and also to be able to ada...
124
click to vote
IWPC
2007
IEEE
15 years 10 months ago
2007
IEEE
A workflow is a computerized specification of a business process. A workflow describes how tasks are executed and ordered following business policies. E-commerce systems implement...
165
click to vote
ICCTA
2007
IEEE
15 years 8 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
147
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...