2844 search results - page 516 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
134
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
133
Voted
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
131
Voted
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
133
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Electronic Commerce which enables business transactions to be conducted electronically has demonstrated significant operational and strategic benefits. Developed countries have ac...
120
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Managing risks in outsourcing has been widely researched but is still not fully understood by either academics or practitioners. Recent research on IS outsourcing relationships ha...