4047 search results - page 615 / 810 » Algebraic Model Checking |
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Ideally, software is derived from requirements whose properties have been established as good. However, it is difficult to define and analyze requirements. Moreover, derivation of...
193
Voted
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
197
Voted
DEON
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
154
click to vote
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
183
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...