Sciweavers

3507 search results - page 465 / 702
» Slicing for architectural analysis
Sort
View
SECURWARE
2008
IEEE
16 years 1 months ago
Formal Modeling of Authentication in SIP Registration
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
Anders Moen Hagalisletto, Lars Strand
SOSE
2008
IEEE
16 years 1 months ago
A Framework for Agent-Based Service-Oriented Modelling
Service-oriented computing is becoming a direction of computing technology. For realising the mission of serviceoriented computing, service-oriented architecture has been proposed...
Zhi Jin, Hong Zhu
VLSID
2008
IEEE
93views VLSI» more  VLSID 2008»
16 years 1 months ago
Watermarking Video Clips with Workload Information for DVS
We present a lightweight scheme for watermarking or annotating video clips with information describing the workload that would be incurred while decoding the clip. This informatio...
Yicheng Huang, Samarjit Chakraborty, Ye Wang
DEEC
2007
IEEE
16 years 1 months ago
BestChoice SRM: a simple and practical supplier relationship management system for e-procurement
Supplier relationship management (SRM) is an important contributor to a company’s efficiency and credibility. Although several ways are used to provide SRM functionality, these a...
Dongjoo Lee, Seungseok Kang, Sangkeun Lee, Young-g...
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
16 years 1 months ago
Integrating Security Modeling into Embedded System Design
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
Matthew Eby, Jan Werner, Gabor Karsai, Ákos...