1469 search results - page 95 / 294 » Structural aspects of tilings |
115
click to vote
FMCO
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
MOZ
2004
Springer
15 years 4 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
IV
2003
IEEE
15 years 4 months ago
2003
IEEE
Implicit information embedded in semantic web graphs, such as topography, clusters, and disconnected subgraphs is difficult to extract from text files. Visualizations of the graph...
121
click to vote
VISSOFT
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
MOBILWARE
2009
ACM
15 years 3 months ago
2009
ACM
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signi...