697 search results - page 38 / 140 » Information Rich Glyphs for Software Management Data |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
INFOSCALE
2007
ACM
13 years 9 months ago
2007
ACM
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
ITNG
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...
CIKM
2001
Springer
14 years 4 days ago
2001
Springer
Enosys Markets offers a state-of-the-art data integration software platform to support the development of the next generation of eBusiness applications that deliver value by provi...