Sciweavers

328 search results - page 27 / 66
» Are You Being Served
Sort
View
CORR
2006
Springer
95views Education» more  CORR 2006»
13 years 8 months ago
Naming Games in Spatially-Embedded Random Networks
We investigate a prototypical agent-based model, the Naming Game, on random geometric networks. The Naming Game is a minimal model, employing local communications that captures th...
Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski
RE
2006
Springer
13 years 8 months ago
Requirement Progression in Problem Frames Applied to a Proton Therapy System
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
Robert Seater, Daniel Jackson
TASE
2008
IEEE
13 years 8 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
CONCURRENCY
2004
101views more  CONCURRENCY 2004»
13 years 8 months ago
GridSphere: a portal framework for building collaborations
Grid enabled portals are becoming increasingly popular as a platform for providing access to Grid services and resources. Unfortunately, much of the work done in portal developmen...
Jason Novotny, Michael Russell, Oliver Wehrens
HCI
2009
13 years 6 months ago
Mobile Phone Usability Questionnaire (MPUQ) and Automated Usability Evaluation
The mobile phone has become one of the most popular products amongst today's consumers. The Mobile Phone Usability Questionnaire (MPUQ) was developed to provide an effective s...
Young Sam Ryu