Sciweavers

770 search results - page 141 / 154
» Agile requirements engineering with prototyping: A case stud...
Sort
View
CCS
2005
ACM
15 years 4 months ago
Misbehaving TCP receivers can cause internet-wide congestion collapse
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
Rob Sherwood, Bobby Bhattacharjee, Ryan Braud
FSTTCS
2005
Springer
15 years 4 months ago
The Set Cover with Pairs Problem
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
Refael Hassin, Danny Segev
ICFEM
2004
Springer
15 years 4 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
PPSN
2004
Springer
15 years 4 months ago
Evolutionary Multi-agent Systems
In Multi-Agent learning, agents must learn to select actions that maximize their utility given the action choices of the other agents. Cooperative Coevolution offers a way to evol...
Pieter Jan't Hoen, Edwin D. de Jong
PROFES
2004
Springer
15 years 4 months ago
Effort Estimation Based on Collaborative Filtering
Effort estimation methods are one of the important tools for project managers in controlling human resources of ongoing or future software projects. The estimations require histori...
Naoki Ohsugi, Masateru Tsunoda, Akito Monden, Ken-...