1588 search results - page 95 / 318 » Modular action language |
123
Voted
SICHERHEIT
2010
15 years 1 months ago
2010
: This paper describes the low-interaction server honeypot Amun. Through the use of emulated vulnerabilities Amun aims at capturing malware in an automated fashion. The use of the ...
150
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
144
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
125
Voted
SFM
2004
Springer
15 years 8 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
95
Voted
AAAI
2007
15 years 5 months ago
2007
The main focus in the area of action languages, such as GOLOG, was put on expressive power, while the development in the area of action planning was focused on efficient plan gen...