2232 search results - page 119 / 447 » Formal Modeling and Analysis of Organizations |
185
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
183
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
160
click to vote
IBPRIA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper presents an algorithm for the estimation of multiple regions with unknown shapes and positions using multiple active contour models (ACM’s). The algorithm or...
167
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
KDD (Knowledge Discovery in Databases) processhas become a new and important research area. Within the framework of KDD process and the GLS (Global Learning Scheme) system recentl...
171
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...