2909 search results - page 58 / 582 » Consistency of the theory of contexts |
169
click to vote
WER
1999
Springer
15 years 10 months ago
1999
Springer
In this article we defend the idea that social aspects have strong influence in the software requirements elicitation (Goguen 1993), which drive us to find help in the social scien...
137
click to vote
AIMSA
2004
Springer
15 years 11 months ago
2004
Springer
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
142
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
Cybernetics, among its more general definitions, is about effective governance of dynamic probabilistic systems. First order cybernetics is concerned with [software] processes gov...
141
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
148
click to vote
ECIS
2003
15 years 7 months ago
2003
In Information Systems research there are a growing number of studies that must necessarily draw upon the contexts, experiences and narratives of practitioners. This calls for res...