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 23 days 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»
15 years 12 months 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 11 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
170
Voted
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...