1003 search results - page 30 / 201 » A Framework for Developing Feature-Rich Software Systems |
NPC
2005
Springer
14 years 1 months ago
2005
Springer
The Globus Toolkit (GT) has been developed since the late 1990s to support the development of service-oriented distributed computing applications and infrastructures. Core GT compo...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
RTAS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—Software packet forwarding has been used for a long time in general purpose operating systems. While interesting for prototyping or on slow links, it is not considered a viable ...
EMISA
2005
Springer
14 years 1 months ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...