4047 search results - page 449 / 810 » Algebraic Model Checking |
162
click to vote
ADC
2001
Springer
15 years 11 months ago
2001
Springer
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...
171
Voted
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
246
click to vote
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
175
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
199
click to vote
PAMI
2011
15 years 1 months ago
2011
—Recovering the 3D shape of a nonrigid surface from a single viewpoint is known to be both ambiguous and challenging. Resolving the ambiguities typically requires prior knowledge...