Sciweavers

22698 search results - page 4360 / 4540
» Modeling in Software Engineering
Sort
View
130
Voted
MICRO
2009
IEEE
103views Hardware» more  MICRO 2009»
15 years 10 months ago
BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support
A platform that supported Sequential Consistency (SC) for all codes — not only the well-synchronized ones — would simplify the task of programmers. Recently, several hardware ...
Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Tor...
AIED
2009
Springer
15 years 10 months ago
Emotion Sensors Go To School
This paper describes the use of sensors in intelligent tutors to detect students' affective states and to embed emotional support. Using four sensors in two classroom experime...
Ivon Arroyo, David G. Cooper, Winslow Burleson, Be...
154
Voted
XSYM
2009
Springer
264views Database» more  XSYM 2009»
15 years 10 months ago
From Entity Relationship to XML Schema: A Graph-Theoretic Approach
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
Massimo Franceschet, Donatella Gubiani, Angelo Mon...
EMISA
2009
Springer
15 years 10 months ago
Controlled Flexibility and Lifecycle Management of Business Processes through Extensibility
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...
Sören Balko, Arthur H. M. ter Hofstede, Alist...
EPEW
2009
Springer
15 years 10 months ago
Performance of Auctions and Sealed Bids
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
Erol Gelenbe, László Györfi
« Prev « First page 4360 / 4540 Last » Next »