|
Experience report: seL4: formally verifying a high-performance microkernel
: ACM SIGPLAN Notices
The formal verification of computer software is not confined to toy programs anymore. It has reached a state where it is applicable to real-life applications. This experience report witnesses this...
Software/Program Verification (D.2.4) | Feb 25 10
An autonomic framework for reliable multicast: a game theoretical approach based on social psychology
: ACM Transactions on Autonomous and Adaptive Systems
Most studies on game theory make for interesting reading. There is something intuitively appealing about a theory that inspires curiosity and attempts to apply it to every known problem. The authors apply...
Reliability, Availability, & Serv. (C.4...) | Mar 3 10
Creating a lightweight user interface description language: an overview and analysis of the personal universal controller project
: ACM Transactions on Computer-Human Interaction
For many decades, it has been a dream of computer scientists to build user interfaces by using very simple language constructs that would describe both design and functionality, in a device...
User Interfaces (D.2.2...) | Mar 4 10
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
: ACM Transactions on Computer-Human Interaction
The paper presents a novel user interface formal description technique, its language (ICOs), and Petshop, “the CASE tool supporting ICOs notation.” ICOs and Petshop were field-tested on...
Computer-Aided Software Eng. (D.2.2...) | Feb 17 10
Training students to work effectively in partially distributed teams
: ACM Transactions on Computing Education (TOCE)
In response to curriculum guidelines and employers seeking information technology (IT) graduates who are “job ready,” this study examines how training affects students working on a project...
Computers & Education (K.3) | Feb 26 10
Processing spatial skyline queries in both vector spaces and spatial network databases
: ACM Transactions on Database Systems
Increasingly, various contexts call for queries where one is seeking a set of objects (points) from the database that form a skyline (no other point dominates them). These queries have been dubbed...
Spatial Databases And GIS (H.2.8...) | Feb 16 10
Deforming meshes that split and merge
: ACM Transactions on Graphics
Have you ever noticed how the shape of a drop of water changes from the point it forms at the tip of a faucet until it splashes on the ground? Is it possible to simulate this accurately, in real time...
Comp. Geometry & Object Modeling (I.3.5) | Mar 9 10
C++ bindings to external software libraries with examples from BLAS, LAPACK, UMFPACK, and MUMPS
: ACM Transactions on Mathematical Software
In scientific computing, there is a strong trend toward the use of modern object-oriented languages like C++. However, it is often advisable to avoid rewriting well-known and proven algorithms and...
Mathematical Software (G.4) | Feb 11 10
Design of multimedia surveillance systems
: ACM Transactions on Multimedia Computing, Communications, and Applications
In order to solve the problem of selecting the optimal combination of sensors and determining their optimal placement in a surveillance system, Sivaram...
Model Validation & Analysis (I.6.4) | Feb 23 10
Dependence clusters in source code
: ACM Transactions on Programming Languages and Systems
In this paper, a dependence cluster is defined to be a set of program statements, all of which are mutually interdependent. While dependence clusters have been studied at higher levels of abstraction...
Debugging Aids (D.2.5...) | Mar 1 10
|
|
A casual revolution: reinventing video games and their players
We tend to stereotype the typical video game player as a young male with one or more game consoles, who has been so initiated into the arcane world of video games--the language, design, and...
Games (K.8.0...)
| Feb 12 10
A practical guide to Linux commands, editors, and shell programming (2nd ed.)
Mark Sobell has been writing practical guides for Unix, Solaris, and Linux systems for almost as long as I can remember. Many of them contain identical chapters. So why would you want to buy his most recent one? The short answer is that these books...
Linux (D.4.0...)
| Feb 19 10
Ada for software engineers
In the best of all possible worlds, every programming language would have a formal, concise, precise specification and every programmer would know the specification for the language they’re using. This would tell compiler writers exactly how a program...
Ada (D.3.2...)
| Feb 9 10
Advances in machine learning and data analysis
This is a collection of papers from a large international conference on advances in machine learning and data analysis that was held at the University of California, Berkeley, in October 2008. The papers cover a range of topics on applying machine learning...
Learning (I.2.6)
| Mar 8 10
Algorithmic adventures: from knowledge to magic
Everyone recognizes the subject matter that underlies the history, intellectual basis, and scope of inquiry of the classical sciences: biology (living organisms), chemistry (the composition and transformation of matter), geology (rocks and landforms), and...
Introductory & Survey (A.1)
| Feb 25 10
Algorithms, languages, automata, and compilers: a practical approach
As the title implies, Mozgovoy ambitiously endeavors to provide both a theoretical and a practical introduction to theoretical computer science (CS). It is difficult to identify the intended audience--or even Mozgovoy’s assumptions of the...
Automata (F.1.1...)
| Mar 3 10
Artificial life models in software
Inducing biological functioning into a computing system has always been an interesting topic. It is quite difficult to confirm whether we can make a computing system behave as a life element. This book provides applications, philosophies, and...
General (I.2.0)
| Feb 26 10
Beginning Joomla! (2nd ed.)
Joomla! is a content management system (CMS) that automates Web site content management and allows users not familiar with Hypertext Markup Language (HTML) to directly add articles to the system, using a custom user interface. Most of the...
Electronic Commerce (K.4.4)
| Mar 4 10
Beginning Ruby: from novice to professional
Ruby is a nice, flexible programming language that continues to grow in popularity and gain ardent supporters. The recent release of Version 1.9 brought about a number of changes to the language--this second edition addresses those changes. In...
Ruby (D.3.2...)
| Mar 2 10
Boom and bust in the blogosphere: case studies of the blogging industry
In a nutshell, Morrill’s vivid, accessible, and informative book is a “paper blog” on blogging, blogs, bloggers, blogging theory, meta-blogging, and the blogging industry. In fact, Morrill himself is an...
Web-Based Interaction (H.5.3...)
| Feb 3 10
|
|
