Sciweavers

4745 search results - page 325 / 949
» Discretization: An Enabling Technique
Sort
View
CLIMA
2008
15 years 8 months ago
Verifying Agents' Conformance with Multiparty Protocols
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...
Laura Giordano, Alberto Martelli
SPLC
2010
15 years 8 months ago
Feature Diagrams as Package Dependencies
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
Roberto Di Cosmo, Stefano Zacchiroli
LWA
2007
15 years 8 months ago
Adaptive Reading Assistance for Dyslexic Students: Closing the Loop
Adaptive reading assistance can improve the reading performance of students, but current dyslexia pedagogical theories do not yet provide sound results on a micro-level. We want t...
Andreas Schmidt, Michael Schneider
159
Voted
WICSA
2008
15 years 8 months ago
"The 3+1 Views of Architecture (in 3D)": An Amplification of the 4+1 Viewpoint Framework
Processes and techniques for the development of enterprise software are best served when infused with practical experience. Pragmatic reflection on what works and what doesn'...
Mark Kennaley
AIIDE
2006
15 years 8 months ago
Modeling Self-Adapting and Multicultural Non-Player Characters in Artificial Worlds
Modeling the behavior of Non-Player Characters (NPCs) so that they can act properly in an artificial world is a difficult, yet essential task in the development of modern computer...
Samuel Marin