1022 search results - page 136 / 205 » Specification of Dynamics for Knowledge-Based Systems |
194
click to vote
DLS
2009
15 years 26 days ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
135
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
156
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper describes a robotic application that tracks a moving object by utilizing a mobile robot with multiple sensors. The robotic platform uses a visual camera to sense the mo...
115
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In many current SoCs, the architectural interface to onchip monitors is ad hoc and inefficient. In this paper, a new architectural approach which advocates the use of a...
124
click to vote
WEBI
2009
Springer
15 years 9 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...