1980 search results - page 307 / 396 » Compositional Model Checking of Real Time Systems |
112
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...
144
Voted
MOBIWAC
2006
ACM
15 years 8 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
131
Voted
EDBT
2012
ACM
13 years 5 months ago
2012
ACM
Most recommendation methods (e.g., collaborative filtering) consist of (1) a computationally intense offline phase that computes a recommender model based on users’ opinions o...
202
Voted
BIRTHDAY
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
143
Voted
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...