795 search results - page 148 / 159 » A Formal Approach to Heterogeneous Software Modeling |
134
Voted
CAISE
2001
Springer
15 years 8 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
180
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
127
Voted
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
132
Voted
SAC
2006
ACM
15 years 3 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
127
Voted
EWSA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...