1895 search results - page 270 / 379 » Using ATL for Checking Models |
160
Voted
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
128
Voted
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
118
Voted
TAMODIA
2008
15 years 4 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
160
Voted
CSFW
2002
IEEE
15 years 7 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
102
Voted
BIBE
2007
IEEE
15 years 9 months ago
2007
IEEE
—Microarray technology has provided an opportunity to simultaneously monitor the expression levels of a large number of genes in response to intentional perturbations. A necessar...