4290 search results - page 34 / 858 » Formal Approaches to Teamwork |
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
118
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...