8190 search results - page 1350 / 1638 » From Timed to Hybrid Systems |
208
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
207
click to vote
SAFECOMP
2005
Springer
16 years 7 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
198
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
184
click to vote
WLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
162
click to vote
CIKM
2004
Springer
16 years 5 days ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...