5550 search results - page 596 / 1110 » Different Approaches to Proof Systems |
205
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The use of dynamic information to aid in software understanding is a common practice nowadays. One of the many approaches concerns the comprehension of execution traces. A major i...
191
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
245
click to vote
ASIAN
2007
Springer
16 years 1 months ago
2007
Springer
Extensive use of computer networks and online electronic data and high demand for security has called for reliable intrusion detection systems. A repertoire of different classifier...
185
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
151
click to vote
ICRA
2005
IEEE
16 years 26 days ago
2005
IEEE
— We report on the design and stability analysis of a simple quadruped running controller that can autonomously generate steady running with good energy efficiency and suppress ...