Sciweavers

1552 search results - page 96 / 311
» Concepts and Concept-Oriented Programming
Sort
View
SIGCSE
2009
ACM
135views Education» more  SIGCSE 2009»
14 years 10 months ago
Breadth-last technical electives: integrating the CS core via computer games and mobile robotics
In this paper, we introduce the concept of breadth-last technical elective courses, which are designed to assist undergraduate CS students in integrating their entire core curricu...
William W. White, Jerry B. Weinberg
CADE
2008
Springer
14 years 10 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
NCA
2005
IEEE
14 years 3 months ago
Location-based Publish/Subscribe
This paper introduces the concept of location-based publish/subscribe (LPS), which allows mobile ad hoc applications to anonymously communicate with each other, depending on their...
Patrick Th. Eugster, Benoît Garbinato, Adria...
IUI
2004
ACM
14 years 3 months ago
An intelligent dialogue for online rule based expert systems
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...
Sascha Mertens, Marius Rosu, Yuliadi Erdani
DATE
2002
IEEE
102views Hardware» more  DATE 2002»
14 years 3 months ago
Library Compatible Ceff for Gate-Level Timing
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
Bernard N. Sheehan