2306 search results - page 384 / 462 » Modeling issues in a shipping system |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
Research has demonstrated how successful coordination can lead to greater organizational performance. In information technology (IT) projectbased environments, coordinating the kn...
AOSD
2009
ACM
14 years 3 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—With the abundance of location-aware portable devices such as cellphones and PDAs, a new emerging application is to use this pervasive computing platform to learn about the wher...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...