5863 search results - page 954 / 1173 » On Model-Checking of P Systems |
189
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...
182
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Machine learning has become a valuable tool for detecting and preventing malicious activity. However, as more applications employ machine learning techniques in adversarial decisi...
165
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
We consider the role of topological dimension in problems of network consensus and vehicular formations where only local feedback is available. In particular, we consider the simpl...
218
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
195
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Reference architectures provide major guidelines for the structure of a class of information systems. Because of their fundamental role, reference architectures have to be of high ...