10182 search results - page 413 / 2037 » Case Studies |
174
click to vote
ATMOS
2007
15 years 8 months ago
2007
In this paper we study a general formulation of the train platforming problem, which contains as special cases all the versions previously considered in the literature as well as a...
149
click to vote
APAL
2008
15 years 7 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
149
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
Through the use of a recently developed taxonomy of information systems implementation, a new research method is developed. The Information Systems Implementation Research Method ...
176
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
163
click to vote
ECIS
2000
15 years 8 months ago
2000
The software industry is an ideal case of information production with a high importance of knowledge and information management. This paper distinguishes information and knowledge...