Sciweavers

733 search results - page 29 / 147
» The role of programming in IT
Sort
View
JUCS
2006
93views more  JUCS 2006»
14 years 9 months ago
Generic Process Algebra: A Programming Challenge
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
Paula R. Ribeiro, Marco Antonio Barbosa, Luí...
AMAST
2006
Springer
15 years 1 months ago
The Essence of Multitasking
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
William L. Harrison
TYPES
2007
Springer
15 years 3 months ago
Attributive Types for Proof Erasure
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
Hongwei Xi
ROBOCOMM
2007
IEEE
15 years 3 months ago
Distributed control diffusion: towards a flexible programming paradigm for modular robots
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
Ulrik Pagh Schultz
EUROSPI
2004
Springer
15 years 3 months ago
On-Site Customer in an XP Project: Empirical Results from a Case Study
Abstract. Extreme programming (XP), similar to other agile software development methods, values close collaboration with customers. One of the XP's practices suggests that cus...
Juha Koskela, Pekka Abrahamsson