2232 search results - page 372 / 447 » Formal Modeling and Analysis of Organizations |
159
click to vote
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
16 years 18 days ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
156
click to vote
ICHIT
2009
Springer
16 years 16 days ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
158
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
145
click to vote
ITICSE
2006
ACM
15 years 12 months ago
2006
ACM
Professors often develop anecdotal guidelines about how each student’s past performance in their academic major relates to their performance in later courses. While these guidel...
173
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...