2844 search results - page 516 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
165
click to vote
KBSE
2009
IEEE
16 years 22 days 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...
164
click to vote
ERCIMDL
2009
Springer
16 years 17 days 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...
159
click to vote
MIDDLEWARE
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
153
click to vote
HICSS
2008
IEEE
16 years 14 days ago
2008
IEEE
Electronic Commerce which enables business transactions to be conducted electronically has demonstrated significant operational and strategic benefits. Developed countries have ac...
141
click to vote
HICSS
2008
IEEE
16 years 14 days 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...