Sciweavers

3796 search results - page 141 / 760
» Presentations by Programmers for Programmers
Sort
View
AGILEDC
2003
IEEE
15 years 3 months ago
Change Your Organization (For Peons)
In this experience report, a programmer at a medium-sized software company explains his tactics for bottom-up organizational change. The tactics are accompanied by personal recoll...
Jim Little
MPC
1998
Springer
140views Mathematics» more  MPC 1998»
15 years 2 months ago
A Set-Theoretic Model for Real-Time Specification and Reasoning
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...
60
Voted
ERCIMDL
2000
Springer
71views Education» more  ERCIMDL 2000»
15 years 1 months ago
Implementation and Analysis of Several Keyframe-Based Browsing Interfaces to Digital Video
In this paper we present a variety of browsing interfaces for digital video information. The six interfaces are implemented on top of F
Hyowon Lee, Alan F. Smeaton, Catherine Berrut, Noe...
ECIS
2001
14 years 11 months ago
RIS in Alentejo: Liberators in the Information Age
This paper presents a case study about the implementation of the LIBERATOR project in the Portuguese region of Alentejo. Project LIBERATOR complies with the objectives of the Tele...
Pedro T. Isaías, Ivo Alexandre Rodrigues, D...
FMOODS
2003
14 years 11 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani