2067 search results - page 327 / 414 » Logics of propositional control |
135
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
182
click to vote
CBSE
2005
Springer
15 years 12 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
157
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
151
click to vote
FSKD
2005
Springer
15 years 12 months ago
2005
Springer
The prediction of epileptic seizures is a very attractive issue for all patients suffering from epilepsy in EEG (electroencephalograph) signals. It can assist to develop an interve...
180
click to vote
SIGMOD
2004
ACM
15 years 11 months ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...