3555 search results - page 27 / 711 » Security-Critical System Development with Extended Use Cases |
109
click to vote
WEBNET
2000
15 years 2 months ago
2000
In this paper, we present our lessons from the design and use of two educational software tools for teaching behavioral modeling to graduate students of digital art. The tools, Pai...
115
click to vote
UML
2000
Springer
15 years 4 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
115
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
115
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
We briefly present the current state-of-the-art approaches for group and extended object tracking with an emphasis on particle methods which have high potential to handle complex...
124
click to vote
KDD
2012
ACM
13 years 3 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...