2045 search results - page 276 / 409 » The Practice of Instructional Design: The Process and Its Ap... |
189
click to vote
MKM
2009
Springer
16 years 27 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
170
click to vote
HPDC
2007
IEEE
16 years 20 days ago
2007
IEEE
Massively Multiplayer Online Games (MMOGs) are an increasingly popular class of real-time interactive distributed applications that require scalable architectures and parallelizat...
169
click to vote
ICECCS
2006
IEEE
16 years 12 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
172
click to vote
ICNP
2005
IEEE
15 years 12 months ago
2005
IEEE
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
151
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...