3571 search results - page 272 / 715 » Cohen and Set Theory |
175
click to vote
SMI
2005
IEEE
16 years 1 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
198
click to vote
AOSE
2005
Springer
16 years 1 months ago
2005
Springer
Requirements elicitation for a software system is a key stage in a successful development. At the same time, it is one of the most challenging, because requirements have to conside...
184
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
201
click to vote
CSL
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
219
click to vote
LPAR
2005
Springer
16 years 28 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...