3239 search results - page 557 / 648 » A Logical Process Calculus |
92
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
101
click to vote
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
— Due to continuous technology scaling, the reduction of nodal capacitances and the lowering of power supply voltages result in an ever decreasing minimal charge capable of upset...
111
Voted
ISPASS
2007
IEEE
15 years 7 months ago
2007
IEEE
Address re-mapping techniques in so-called active memory systems have been shown to dramatically increase the performance of applications with poor cache and/or communication beha...
94
Voted
AI
2007
Springer
15 years 6 months ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...