1802 search results - page 185 / 361 » Using Declarative Specifications in Business Process Design |
148
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
164
click to vote
IEEESCC
2005
IEEE
16 years 15 hour ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
186
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Over the last years, we have witnessed the increased use of Application-Specific Instruction-Set Processors (ASIPs). These ASIPs are processors that have a customizable instruction...
145
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
– An important problem in designing infrastructure to support business-to-business integration (B2Bi) is how to cancel a long-running interaction (either because the user has cha...
138
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
The binary set splitting with k-d trees (BISK) algorithm is introduced. An embedded wavelet-based image coder based on the popular bitplane-coding paradigm, BISK is designed speci...