3498 search results - page 457 / 700 » Role Model Based Framework Design and Integration |
161
click to vote
WSC
2007
15 years 8 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...
158
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
136
click to vote
ECIS
2003
15 years 7 months ago
2003
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...
150
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
175
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...