504 search results - page 64 / 101 » Message Structures: a modelling technique for information sy... |
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
FAC
2000
13 years 7 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
SIGMOD
2012
ACM
11 years 10 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
EGOV
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we present an approach based on hierarchically structured business models as artifacts of business process modeling that are used in a stepwise acquisition process f...