183 search results - page 17 / 37 » Learning Component Interfaces with May and Must Abstractions |
ACSAC
1999
IEEE
14 years 3 days ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
PUC
2010
13 years 6 months ago
2010
Abstract The in-house monitoring of elders using intelligent sensors is a very desirable service that has the potential of increasing autonomy and independence while minimizing the...
ALT
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. Recently, some non-regular subclasses of context-free grammars have been found to be efficiently learnable from positive data. In order to use these efficient algorithms ...
CRIWG
2003
13 years 9 months ago
2003
Positive interdependence is the heart of collaborative activities that define collaboration and transform group work into teamwork. To achieve positive interdependence among studen...
AC
2002
Springer
13 years 7 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...