Sciweavers

2018 search results - page 87 / 404
» On Conceptualization as a Systematic Process
Sort
View
IWFM
1998
136views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
Brian Matthews, Elvira Locuratolo
ELECTRONICMARKETS
2006
64views more  ELECTRONICMARKETS 2006»
15 years 4 months ago
Electronic Markets for the Allocation, Financing and Distribution of Public Goods
Recent research on the usage of electronic markets in Digital government has mostly focused on the government's Executive branch. The paper discusses three conceptual concern...
Roumen Vragov, Nanda Kumar
JUCS
2008
184views more  JUCS 2008»
15 years 4 months ago
Optimizing Assignment of Knowledge Workers to Office Space Using Knowledge Management Criteria: The Flexible Office Case
: Even though knowledge management has been around for more than a decade, so far concrete instruments that can be systematically deployed are still rare. This paper presents an op...
Ronald Maier, Stefan Thalmann, Florian Bayer, Mich...
JCP
2007
135views more  JCP 2007»
15 years 3 months ago
A Design Requirements Framework for Mobile Learning Environments
—This paper proposes a conceptual framework for mobile learning applications that provides systematic support for mobile learning experience design. It is based on a combination ...
David Parsons, Hokyoung Ryu, Mark Cranshaw
CORR
2010
Springer
124views Education» more  CORR 2010»
15 years 1 months ago
Property Testing via Set-Theoretic Operations
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
Victor Chen, Madhu Sudan, Ning Xie