10289 search results - page 224 / 2058 » Standard bases in K |
173
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper discusses the challenges of putting Apple Macintosh OSX into open access and computer lab environments. Categories and Subject Descriptors K.6.4 [Management of Computin...
177
click to vote
WWW
2003
ACM
15 years 11 months ago
2003
ACM
This paper addresses interoperability issues of learning content management systems. Motivation and design challenges are presented and an interoperability framework implemented a...
168
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
176
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Research has created many new generation (post-WIMP) Interaction styles (IS) in the past years. From Ubiquitous to Affective Computing, researchers have not kept a uniform standard...
162
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...