Sciweavers

2006 search results - page 235 / 402
» Testing with Respect to Concerns
Sort
View
AAAIDEA
2005
IEEE
15 years 9 months ago
SOSIMPLE: A Serverless, Standards-based, P2P SIP Communication System
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
David A. Bryan, Bruce Lowekamp, Cullen Jennings
AUTOID
2005
IEEE
15 years 9 months ago
Statistical Models for Assessing the Individuality of Fingerprints
Following Daubert in 1993, forensic evidence based on fingerprints was first challenged in the 1999 case of USA vs. Byron Mitchell, and subsequently, in 20 other cases involving...
Sarat C. Dass, Yongfang Zhu, Anil K. Jain
129
Voted
KBSE
2005
IEEE
15 years 9 months ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...
WMTE
2005
IEEE
15 years 9 months ago
'Location is not enough!': an Empirical Study of Location-Awareness in Mobile Collaboration
: There is an ever growing number of mobile learning applications based on location-awareness, However, there is still a lack of information concerning how it might impact socio-co...
Nicolas Nova, Fabien Girardin, Pierre Dillenbourg
145
Voted
ISLPED
2005
ACM
136views Hardware» more  ISLPED 2005»
15 years 9 months ago
Energy efficient SEU-tolerance in DVS-enabled real-time systems through information redundancy
Concerns about the reliability of real-time embedded systems that employ dynamic voltage scaling has recently been highlighted [1,2,3], focusing on transient-fault-tolerance techn...
Alireza Ejlali, Marcus T. Schmitz, Bashir M. Al-Ha...