1146 search results - page 163 / 230 » Applications of the TAMPR Transformation System |
154
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
166
click to vote
MODELLIERUNG
2008
15 years 7 months ago
2008
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
158
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
188
click to vote
JWSR
2008
15 years 6 months ago
2008
: Service Oriented Architecture (SOA) is an emerging style of software architectures to reuse and integrate existing systems for designing new applications. Each application is des...
170
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...