Sciweavers

859 search results - page 128 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
SEUS
2007
IEEE
15 years 10 months ago
A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool
Even without possible interference from external radio sources, the problem of guaranteeing quality-of-service (QoS) routing in mobile ad hoc networks (MANETs) is a difficult probl...
Donghak Pyo, Sunggu Lee, Min-Gu Lee
FMCAD
2007
Springer
15 years 10 months ago
Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
Lee Pike
IEEEARES
2006
IEEE
15 years 10 months ago
Digital Signatures with Familiar Appearance for e-Government Documents: Authentic PDF
Abstract— Most e-government applications have to find a solution for simple, reliable, secure and authentic signing of official documents. Citizens need a simple way to verify ...
Thomas Neubauer, Edgar Weippl, Stefan Biffl
SPAA
2004
ACM
15 years 9 months ago
A scalable lock-free stack algorithm
The literature describes two high performance concurrent stack algorithms based on combining funnels and elimination trees. Unfortunately, the funnels are linearizable but blockin...
Danny Hendler, Nir Shavit, Lena Yerushalmi
ICSE
2009
IEEE-ACM
15 years 8 months ago
A compositional approach to bidirectional model transformation
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keis...