4139 search results - page 672 / 828 » Designing and Implementing Combinator Languages |
120
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...
134
Voted
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
148
click to vote
CASCON
2007
15 years 5 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
127
Voted
WSC
1994
15 years 4 months ago
1994
Whether designing a new system or modifying an existing one, engineers want to take the guesswork out of finding the best possible solution. While there are many analysis methods ...
150
Voted
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Cross-site scripting (or XSS) has been the most dominant class of web vulnerabilities in 2007. The main underlying reason for XSS vulnerabilities is that web markup and client-sid...