7715 search results - page 1183 / 1543 » Visual Rules Modeling |
114
Voted
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
122
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
159
click to vote
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
RFID technology can be used to significantly improve the efficiency of business processes by providing the capability of automatic identification and data capture. This technol...
129
click to vote
WEBI
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
122
Voted
BPM
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...