346 search results - page 60 / 70 » Is the World Still Flat |
GI
2005
Springer
14 years 3 months ago
2005
Springer
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...
MKM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Over the past decade the sheer size and complexity of traditional operating systems have prompted a wave of new approaches to help alleviate the services provided by these operati...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...