Sciweavers

5030 search results - page 278 / 1006
» cases 2007
Sort
View
IWPSE
2007
IEEE
16 years 1 months ago
A small observatory for super-repositories
Software evolution research has been focused mostly on analyzing the evolution of single software systems. However, it is rarely the case that a project exists as standalone, inde...
Mircea Lungu, Tudor Gîrba
QSIC
2007
IEEE
16 years 1 months ago
Testing against Natural Language Requirements
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
Harry M. Sneed
ACNS
2007
Springer
105views Cryptology» more  ACNS 2007»
16 years 1 months ago
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
Abstract. Untraceability and unreuseability are essential security properties for electronic cash protocols. Many protocols have been proposed to meet these two properties. However...
Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
ADAPTIVE
2007
Springer
16 years 1 months ago
Adaptive 3D Web Sites
In recent years, technological developments have made it possible to build interactive 3D models of objects and 3D Virtual Environments that can be experienced through the Web, usi...
Luca Chittaro, Roberto Ranon
AI
2007
Springer
16 years 1 months ago
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks
Abstract. Variables and constraints in problem domains are often distributed. These distributed constraint satisfaction problems (DCSPs) lend themselves to multiagent solutions. Mo...
Yang Xiang, Wanling Zhang