Sciweavers

2827 search results - page 107 / 566
» CCured in the real world
Sort
View
FECS
2006
152views Education» more  FECS 2006»
13 years 11 months ago
Lessons Learned From Different Types of Projects in Software Engineering
Educators teaching software engineering face a large problem when trying to assign "real world" projects. Should the instructors make up "real world" projects ...
Jennifer A. Polack-Wahl
ICDE
2004
IEEE
100views Database» more  ICDE 2004»
14 years 11 months ago
Simple, Robust and Highly Concurrent B-trees with Node Deletion
Why might B-tree concurrency control still be interesting? For two reasons: (i) currently exploited "real world" approaches are complicated; (ii) simpler proposals are n...
David B. Lomet
AGENTS
2001
Springer
14 years 2 months ago
Implementing soft real-time agent control
Real-time control has become increasingly important as technologies are moved from the lab into real world situations. The complexity associated with these systems increases as co...
Régis Vincent, Bryan Horling, Victor R. Les...
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 10 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
AAI
2000
122views more  AAI 2000»
13 years 10 months ago
High-Level Interpretation in Virtual Environments
: As Virtual Environments applications become more complex, there is a need to interpret user interaction in terms of high-level concepts. In this paper, we investigate the relatio...
Marc Cavazza, Ian Palmer