10159 search results - page 600 / 2032 » System Design Validation Using Formal Models |
180
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
190
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes how we manage the interaction between different heterogeneous web services through choreographies within IRS-III. IRS-III is a framework and platform for deve...
148
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
193
click to vote
WS
2006
ACM
16 years 27 days ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
209
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...