6201 search results - page 214 / 1241 » Implementation of Axiomatic Language |
156
click to vote
JCS
2002
15 years 4 months ago
2002
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...
148
click to vote
TSE
1998
15 years 4 months ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
169
click to vote
POPL
2012
ACM
14 years 14 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
152
Voted
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
199
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...