1040 search results - page 116 / 208 » Controlling Aspect Reentrancy |
111
click to vote
AAECC
2008
Springer
15 years 24 days ago
2008
Springer
In a previous article [14], we proved the existence of resolvent representations for regular differential ideals. The present paper provides practical algorithms for computing suc...
99
Voted
AIEDU
2008
15 years 23 days ago
2008
Problem posing is identified as an important activity in mathematics education. In problem posing, it is important but difficult for learners to generate diverse problems. In this ...
70
Voted
CORR
2008
Springer
15 years 22 days ago
2008
Springer
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
134
click to vote
FAC
2008
15 years 21 days ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
CN
2006
15 years 21 days ago
2006
In peer-to-peer (P2P) systems where individual peers must cooperate to process each other's requests, a useful metric for evaluating the system is how many remote requests ar...