Sciweavers

2086 search results - page 341 / 418
» Mathematical Theory Exploration
Sort
View
HICSS
2002
IEEE
172views Biometrics» more  HICSS 2002»
14 years 20 days ago
Collaborative Software Development: A Discussion of Problem Solving Models and Groupware Technologies
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...
Joanna DeFranco-Tommarello, Fadi P. Deek
HICSS
2002
IEEE
79views Biometrics» more  HICSS 2002»
14 years 20 days ago
Managerial Openness and the Adoption of Distributed Group Support Systems: The Case of WebWide Participation
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
John Rhorbaugh
DESRIST
2009
Springer
137views Education» more  DESRIST 2009»
14 years 10 days ago
Coordination analysis: a method for deriving use cases from process dependencies
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
Xiang Michelle Liu, George M. Wyner
DIAGRAMS
2000
Springer
14 years 1 days ago
Capacity Limits in Diagrammatic Reasoning
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
Mary Hegarty
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 days ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...