4348 search results - page 340 / 870 » Using UML for Modeling Complex Real-Time Systems |
128
click to vote
WSC
2000
15 years 8 months ago
2000
Airpower's strength lies in quickly striking the enemy directly where they are vulnerable while being unhampered by geography and surface forces. Airpower theory suggests the...
221
click to vote
TIP
2010
15 years 1 months ago
2010
This paper proposes an approach for recognizing human activities (more specifically, pedestrian trajectories) in video sequences, in a surveillance context. A system for automatic ...
187
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
177
Voted
DBSEC
2010
15 years 8 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
170
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, cus...