4008 search results - page 654 / 802 » An expressive language of signatures |
166
click to vote
UM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
165
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
184
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
141
click to vote
ICDCS
2005
IEEE
16 years 20 hour ago
2005
IEEE
IT today is driven by the trend of increasing scale and complexity. Utility and Grid computing models, PlanetLab, and traditional data centers, are reaching the scale of thousands...
172
click to vote
APLAS
2005
ACM
15 years 12 months ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...