Sciweavers

2393 search results - page 92 / 479
» Cloud Service Engineering
Sort
View
APSEC
2005
IEEE
15 years 10 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
ANCS
2007
ACM
15 years 8 months ago
A programmable message classification engine for session initiation protocol (SIP)
Session Initiation Protocol (SIP) has begun to be widely deployed for multiple services such as VoIP, Instant Messaging and Presence. Each of these services uses different SIP mes...
Arup Acharya, Xiping Wang, Charles Wright
QUATIC
2007
IEEE
15 years 10 months ago
A Vision for International Standardization in Software and Systems Engineering
The importance of standards in enabling the development of industry and commerce through the standardization of components, interfaces and specifications is well known and underst...
François Coallier
SIGSOFT
2010
ACM
15 years 2 months ago
The last mile: parallel programming and usability
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
Caitlin Sadowski, Andrew Shewmaker
COMPSAC
2002
IEEE
15 years 9 months ago
Trust Services: A Framework for Service-Based Solutions
It is well understood that using a software component methodology can simplify the development and maintenance of systems. Web services allow this vision to be extended allowing c...
Adrian Baldwin, Simon Shiu, Marco Casassa Mont