Sciweavers

10239 search results - page 376 / 2048
» Postmodern Software Development
Sort
View

Lab
597views
17 years 7 months ago
Programming Languages Team (PLT)
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
BIRTHDAY
2007
Springer
16 years 29 days ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 10 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang
EDCC
2008
Springer
15 years 8 months ago
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
Stéphanie Gaudan, Gilles Motet, Guillaume A...
CGVR
2006
15 years 8 months ago
Software and Methods for Motion Capture and Tracking in Animation
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...
Joan V. Condell, George Moore, John Moore