7892 search results - page 1424 / 1579 » Programming with Models |
100
click to vote
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
114
click to vote
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
109
click to vote
SRDS
2003
IEEE
15 years 6 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
121
click to vote
AOSD
2003
ACM
15 years 6 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
117
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...