3310 search results - page 115 / 662 » Aspect-aware operating system development |
123
click to vote
JAIR
2008
15 years 3 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
111
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
: Intermodality has been a hot topic in the logistics sector for several decades, but the expected diffusion into business is still limited. The key to increased intermodalism lies...
114
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Drawing upon the resource-based view and the process-oriented view, we develop a conceptual model to examine the business value of customer relationship management (CRM) systems, ...
146
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
Surprisingly, console logs rarely help operators detect problems in large-scale datacenter services, for they often consist of the voluminous intermixing of messages from many sof...
206
Voted
EDBT
2012
ACM
13 years 5 months ago
2012
ACM
We present some architectural and technological insights on SAP’s HANA database and derive research challenges for future enterprise application development. The HANA database m...