Sciweavers

2044 search results - page 66 / 409
» System theory for numerical analysis
Sort
View
SIGDOC
2003
ACM
15 years 9 months ago
Beyond theory: making single-sourcing actually work
In this paper, I discuss how we made single-sourcing work at Juniper Networks. This is a practical discussion of issues, problems, and successes. Categories and Subject Descriptor...
Liz Fraley
SIGCSE
1996
ACM
163views Education» more  SIGCSE 1996»
15 years 8 months ago
Database theory in practice: learning from cooperative group projects
lhis paper describes the use of cooperative group learning concepts in support of an undergraduate database mrtnagement course that emphasizes the theoretical and practical aspect...
Suzanne W. Dietrich, Susan Darling Urban
INFOCOM
2009
IEEE
15 years 10 months ago
Delay Analysis for Multi-Hop Wireless Networks
Abstract—We analyze the delay performance of a multihop wireless network with a fixed route between each sourcedestination pair. There are arbitrary interference constraints on ...
Gagan Rajesh Gupta, Ness B. Shroff
RTA
2010
Springer
15 years 7 months ago
Automated Termination Analysis of Java Bytecode by Term Rewriting
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
Carsten Otto, Marc Brockschmidt, Christian von Ess...
DALT
2007
Springer
15 years 10 months ago
Integrating Agent Models and Dynamical Systems
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
Tibor Bosse, Alexei Sharpanskykh, Jan Treur