2357 search results - page 163 / 472 » Computing Refactorings of Behavior Models |
156
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
118
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
108
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...
139
click to vote
HT
2009
ACM
15 years 9 months ago
2009
ACM
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
165
click to vote
CPHYSICS
2011
14 years 8 months ago
2011
In the presented article we present an algorithm for the computation of ground state spin configurations for the 2d random bond Ising model on planar triangular lattice graphs. T...