Sciweavers

1735 search results - page 264 / 347
» Using UML for Business Object Based Systems Modeling
Sort
View
HICSS
2003
IEEE
114views Biometrics» more  HICSS 2003»
14 years 2 months ago
Duration in the Digital Economy
We examine the drivers of Internet firm survival using a multi-method survival analysis. Based on previous literature on business failure and recent IS research on e-commerce busi...
Robert J. Kauffman, Bin Wang
JGAA
2007
124views more  JGAA 2007»
13 years 9 months ago
Energy Models for Graph Clustering
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
Andreas Noack
IANDC
2011
127views more  IANDC 2011»
13 years 4 months ago
On the consistency, expressiveness, and precision of partial modeling formalisms
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
Ou Wei, Arie Gurfinkel, Marsha Chechik
TSE
2008
97views more  TSE 2008»
13 years 9 months ago
Timed Automata Patterns
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
CVPR
1999
IEEE
1071views Computer Vision» more  CVPR 1999»
14 years 11 months ago
Adaptive Background Mixture Models for Real-Time Tracking
A common method for real-time segmentation of moving regions in image sequences involves "background subtraction," or thresholding the error between an estimate of the i...
Chris Stauffer, W. Eric L. Grimson