409 search results - page 74 / 82 » A Graphically Based Language for Constructing, Executing and... |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
POPL
2004
ACM
14 years 27 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
FATES
2003
Springer
14 years 21 days ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
MPC
2010
Springer
14 years 8 days ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...