Sciweavers

1323 search results - page 116 / 265
» Extended Modeling Languages for Interaction Protocol Design
Sort
View
157
Voted
AIL
2008
109views more  AIL 2008»
15 years 3 months ago
Artificial institutions: a model of institutional reality for open multiagent systems
Software agents' ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, ...
Nicoletta Fornara, Francesco Viganò, Mario ...
CHI
2009
ACM
16 years 4 months ago
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...
Scott S. Snibbe, Hayes Raffle
111
Voted
WISE
2009
Springer
16 years 28 days ago
Personalizing the Interface in Rich Internet Applications
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
Irene Garrigós, Santiago Meliá, Sven...
CORR
2010
Springer
176views Education» more  CORR 2010»
15 years 3 months ago
Bus Protocols: MSC-Based Specifications and Translation into Program of Verification Tool for Formal Verification
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
Kamrul Hasan Talukder
ECRTS
2005
IEEE
15 years 9 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega