1681 search results - page 196 / 337 » Formal Design of Distributed Control Systems with Lustre |
161
click to vote
AICT
2005
IEEE
15 years 6 months ago
2005
IEEE
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...
154
click to vote
IJCAI
1997
15 years 5 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
110
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
130
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
133
click to vote
ACMICEC
2004
ACM
15 years 9 months ago
2004
ACM
Due to the rapid advancement of electronic commerce and web technologies in recent years, the concepts and applications of decision support systems have been significantly extende...