Sciweavers

6480 search results - page 1036 / 1296
» Proximity Communication and Time
Sort
View
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
15 years 11 months ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
UM
2001
Springer
15 years 11 months ago
User Modelling in I-Help: What, Why, When and How
This paper describes user modelling in I-Help, a system to facilitate communication amongst learners. There are two I-Help components: Private and Public Discussions. In the Privat...
Susan Bull, Jim E. Greer, Gordon I. McCalla, Lori ...
UML
2001
Springer
15 years 11 months ago
Catalytic Modeling: UML meets XP
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
Alan Wills
WADS
2001
Springer
137views Algorithms» more  WADS 2001»
15 years 11 months ago
Visual Ranking of Link Structures
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the first e...
Ulrik Brandes, Sabine Cornelsen
APSEC
2000
IEEE
15 years 11 months ago
Transatlantic project courses in a university environment
Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, merges and acquisition, and scarce skills, software development...
Bernd Brügge, Allen H. Dutoit, Rafael Kobylin...
« Prev « First page 1036 / 1296 Last » Next »