7430 search results - page 551 / 1486 » Programming Applications in CIFF |
162
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
196
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Toric ideals have many applications including solving integer programs. Several algorithms for computing the toric ideal of an integer matrix are available in the literature. Since...
225
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In its most general form, an attack signature is a program that can correctly determine if an input network packet sequence can successfully attack a protected network application...
176
Voted
FLOPS
2004
Springer
16 years 13 days ago
2004
Springer
Restricting polymorphism to values is now the standard way to obtain soundness in ML-like programming languages with imperative features. While this solution has undeniable advant...
182
click to vote
AUIC
2003
IEEE
16 years 10 days ago
2003
IEEE
Spreadsheets are an extremely common form of end-user programming used for many applications from student marks to accounting for global multinationals. Ways of studying the struc...