Sciweavers

2757 search results - page 234 / 552
» On separating systems
Sort
View
ENTCS
2007
107views more  ENTCS 2007»
15 years 6 months ago
Executable Grammars in Newspeak
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
Gilad Bracha
APLAS
2009
ACM
16 years 1 months ago
Proving Copyless Message Passing
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
Jules Villard, Étienne Lozes, Cristiano Cal...
ICMCS
2005
IEEE
132views Multimedia» more  ICMCS 2005»
16 years 3 days ago
Automatic surveillance of the acoustic activity in our living environment
We report an experiment with an acoustic surveillance system comprised of a computer and microphone situated in a typical office environment. The system continuously analyzes the...
Aki Harma, Martin F. McKinney, Janto Skowronek
GI
2004
Springer
15 years 12 months ago
Transforming XML Schemas into Java Swing GUIs
: When designing an XML-based Web Content Management System (WCMS), one usually has to define and maintain two separate entities just for the editorial part: the database schemes ...
Patrick Lay, Stefan Lüttringhaus-Kappel
ISMAR
2003
IEEE
15 years 11 months ago
Hybrid Indoor and Outdoor Tracking for Mobile 3D Mixed Reality
This paper describes a new hybrid tracking system that integrates standard outdoor augmented reality trackers with a low cost indoor tracker based on the use of fiducial markers. ...
Wayne Piekarski, Ben Avery, Bruce H. Thomas, Pierr...