Sciweavers

3389 search results - page 394 / 678
» Perspectives on system identification
Sort
View
POPL
2009
ACM
16 years 7 months ago
Flexible types: robust type inference for first-class polymorphism
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
Daan Leijen
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
16 years 1 months ago
Agile Principles and Ethical Conduct
Software practitioners experience pressure to compromise their work and their reasonable care for others. Even as software becomes more beneficial, pervasive, and interconnected, ...
Ken H. Judy
ICC
2009
IEEE
147views Communications» more  ICC 2009»
16 years 1 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
IDC
2009
Springer
16 years 1 months ago
A Case Study on Availability of Sensor Data in Agent Cooperation
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
Christian Johansson, Fredrik Wernstedt, Paul David...
CSSE
2008
IEEE
16 years 1 months ago
The Relation of Version Control to Concurrent Programming
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
Annette Bieniusa, Peter Thiemann, Stefan Wehr