254 search results - page 22 / 51 » A Behavioral Module System for the Pi-Calculus |
102
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
DAC
1995
ACM
15 years 3 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
102
click to vote
TCBB
2008
14 years 11 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
ROBIO
2006
IEEE
15 years 5 months ago
2006
IEEE
— For teams of cooperating autonomous lightweight robots with challenging dynamical locomotion properties a platform independent modular software architecture and platform indepe...
WOA
2007
15 years 29 days ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...