2306 search results - page 42 / 462 » Modeling issues in a shipping system |
109
click to vote
VLDB
1999
ACM
15 years 4 months ago
1999
ACM
An important issue for federated systems of diverse data sources is optimizing cross-source queries, without building knowledge of individual sources into the optimizer. This pape...
JUCS
2006
14 years 11 months ago
2006
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
IEE
2000
14 years 11 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
128
click to vote
CSFW
1995
IEEE
15 years 3 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...