9443 search results - page 1600 / 1889 » Web-centric language models |
184
click to vote
SACMAT
2006
ACM
16 years 19 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
167
click to vote
FDL
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
190
click to vote
PRDC
2005
IEEE
16 years 7 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
165
click to vote
ADBIS
2005
Springer
16 years 6 days ago
2005
Springer
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
160
click to vote
BPM
2005
Springer
16 years 6 days ago
2005
Springer
The 20 workflow patterns proposed by Van der Aalst et al. provide a comprehensive benchmark for comparing control flow aspects of process modelling languages. In this paper, we p...