Sciweavers

1658 search results - page 233 / 332
» Implementing Bit-addressing with Specialization
Sort
View
DEBS
2007
ACM
15 years 8 months ago
Concepts and models for typing events for event-based systems
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
Szabolcs Rozsnyai, Josef Schiefer, Alexander Schat...
EUROPAR
2007
Springer
15 years 8 months ago
Increasing Parallelism for Workflows in the Grid
Workflow applications executed in Grid environments are not able to take advantage of all the potential parallelism they might have. This limitation in the usage of parallelism com...
Jonathan Martí, Jesus Malo, Toni Cortes
HYBRID
2009
Springer
15 years 8 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
ASAP
2004
IEEE
160views Hardware» more  ASAP 2004»
15 years 8 months ago
Architectural Support for Arithmetic in Optimal Extension Fields
Public-key cryptosystems generally involve computation-intensive arithmetic operations, making them impractical for software implementation on constrained devices such as smart ca...
Johann Großschädl, Sandeep S. Kumar, Ch...
BPM
2004
Springer
148views Business» more  BPM 2004»
15 years 8 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner