2913 search results - page 240 / 583 » How Much to Copy |
167
click to vote
FMOODS
2007
15 years 5 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
137
click to vote
ECSCW
2001
15 years 5 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
142
click to vote
KDID
2004
15 years 5 months ago
2004
Condensed representations of pattern collections have been recognized to be important building blocks of inductive databases, a promising theoretical framework for data mining, and...
136
click to vote
GECON
2008
Springer
15 years 5 months ago
2008
Springer
A Service Level Agreement (SLA) is an electronic contract between a service user and a provider, and specifies the service to be provided, Quality of Service (QoS) properties that...
145
click to vote
CONSTRAINTS
2006
15 years 4 months ago
2006
Abstract. The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this pape...