Sciweavers

1519 search results - page 161 / 304
» What do they think
Sort
View
ACSC
2004
IEEE
14 years 2 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
AMAST
2004
Springer
14 years 2 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
AI
2001
Springer
14 years 2 months ago
Learning about Constraints by Reflection
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
J. William Murdock, Ashok K. Goel
ITS
2000
Springer
91views Multimedia» more  ITS 2000»
14 years 2 months ago
The Impact of Representation on Coaching Argument Analysis
Graphical representations have long been associated with more efficient problem solving. More recently, researchers have begun looking at how representation may affect the informat...
Violetta Cavalli-Sforza
WDAG
2000
Springer
111views Algorithms» more  WDAG 2000»
14 years 2 months ago
Thrifty Generic Broadcast
Weconsider the problemof generic broadcast in asynchronous systems with crashes, a problem that was rst studied in 12]. Roughly speaking, given a \con ict" relation on the set...
Marcos Kawazoe Aguilera, Carole Delporte-Gallet, H...