22 search results - page 4 / 5 » Exploring Theories with a Model-Finding Assistant |
VISUAL
2005
Springer
13 years 11 months ago
2005
Springer
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
HICSS
2002
IEEE
13 years 11 months ago
2002
IEEE
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...
ECIS
2004
13 years 7 months ago
2004
Governments have developed policies and strategies which are designed to assist SMEs to become eenabled. It is not clear what impact these strategies have on SMEs. There is some e...
IJEB
2010
13 years 4 months ago
2010
: E-marketplaces present a business-to-business (B2B) trading environment in which firms can benefit from increased choice among trading partners, and other efficiencies gained thr...
ICFP
2004
ACM
14 years 6 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...