5962 search results - page 525 / 1193 » Working with Patterns and Code |
194
click to vote
CSL
2005
Springer
16 years 17 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
177
click to vote
LCPC
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
166
click to vote
LAWEB
2003
IEEE
16 years 9 days ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
149
click to vote
IEEEMSP
2002
IEEE
15 years 12 months ago
2002
IEEE
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
190
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software evolution in a cooperative environment, where a pool of maintainers/developers contribute to the overall system changes, is challanging due to several factors, such as th...