2409 search results - page 296 / 482 » Logical systems for structured specifications |
157
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
140
Voted
SCM
2001
15 years 5 months ago
2001
This paper examines the relations between software architecture and software configuration management. These disciplines overlap because they are both concerned with the structure ...
110
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
108
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract: This paper considers the problem of cooperative power control in distributed small cell wireless networks. We introduce a novel framework, based on repeated games, which ...
142
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Abstract-- We describe an implementation based on the WSNotification (WSN) specification for Publish/Subscribe communication which provides a distributed, content-based notificatio...