1713 search results - page 94 / 343 » Modeling and Engineering Adaptive Complex Systems |
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
COMPSAC
1997
IEEE
14 years 1 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
VISSOFT
2005
IEEE
14 years 3 months ago
2005
IEEE
The clear and meaningful visualization of relations between software entities is an invaluable tool for the comprehension, evaluation, and reengineering of the structure of existi...
IUI
2005
ACM
14 years 3 months ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...