Sciweavers

2095 search results - page 183 / 419
» Describing Groups
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
16 years 28 days ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
CHI
2010
ACM
16 years 27 days ago
Tagliatelle: social tagging to encourage healthier eating
This paper describes the design and initial evaluation of Tag-liatelle, a collaborative tagging application for encouraging healthier eating. Users photograph their own meals and ...
Conor Linehan, Mark Doughty, Shaun Lawson, Ben Kir...
ICRA
2008
IEEE
135views Robotics» more  ICRA 2008»
16 years 25 days ago
Ultrasonic relative positioning for multi-robot systems
— Coordination of a group of mobile robots is facilitated when they are able to determine their positions relative to each other. Instead of using an absolute positioning approac...
Frédéric Rivard, Jonathan Bisson, Fr...
ICST
2008
IEEE
16 years 24 days ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
WISE
2008
Springer
16 years 23 days ago
Measuring Web Accessibility by Estimating Severity of Barriers
The paper addresses the issue of measuring web accessibility in such a way that differences in measurements reflect differences in the effectiveness experienced by disabled use...
Giorgio Brajnik