7557 search results - page 1315 / 1512 » Modeling Timed Concurrent Systems |
202
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
171
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Tree-based protocols are ubiquitous in distributed systems. They are flexible, they perform generally well, and, in static conditions, their analysis is mostly simple. Under churn...
154
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In 1992, Bartholdi, Tovey, and Trick [1992] opened the study of control attacks on elections--attempts to improve the election outcome by such actions as adding/deleting candidate...
195
click to vote
EL
2008
15 years 7 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...
176
click to vote
CVGIP
2007
15 years 6 months ago
2007
In this paper we introduce a framework for instrumenting (“rigging”) characters that are modeled as dynamic elastic bodies, so that their shapes can be controlled by an animat...