5239 search results - page 505 / 1048 » Model-Integrated Embedded Systems |
179
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
171
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
198
click to vote
COCOA
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...
164
click to vote
ICIS
2001
15 years 8 months ago
2001
Whilepreviousstudieshavefocusedmainlyonthepotentialbenefitsandcriticalsuccessfactorsassociatedwith ERPimplementation,veryfewhaveexploredtheimportantissues of impediments encounter...
210
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...