Sciweavers

5606 search results - page 264 / 1122
» Advances in Information Science
Sort
View
ICALP
2007
Springer
16 years 1 months ago
On Commutativity Based Edge Lean Search
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...
Dragan Bosnacki, Edith Elkind, Blaise Genest, Doro...
SIGCSE
2006
ACM
134views Education» more  SIGCSE 2006»
16 years 1 months ago
jFAST: a java finite automata simulator
Visualization and interactivity are valuable active learning techniques that can improve mastery of difficult concepts. In this paper we describe jFAST, an easy-to-use graphical s...
Timothy M. White, Thomas P. Way
HICSS
2005
IEEE
164views Biometrics» more  HICSS 2005»
16 years 29 days ago
Knowledge Creation and Integration: Creative Space and Creative Environments
This paper presents first a review of recent advancements in the theory of knowledge creation, starting with Shinayakana Systems Approach of Sawaragi and Nakamori and The Knowledg...
Andrzej P. Wierzbicki, Yoshiteru Nakamori
ICCS
2005
Springer
16 years 26 days ago
The Development of Dependable and Survivable Grids
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...
Andrew S. Grimshaw, Marty A. Humphrey, John C. Kni...
SEKE
2004
Springer
16 years 21 days ago
Entering the Heart of Design: Relationships for Tracing Claim Evolution
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
Shahtab Wahid, C. F. Allgood, Christa M. Chewar, D...