1536 search results - page 150 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
JUCS
2007
13 years 10 months ago
2007
: The activities developed in this paper were aimed at providing an awareness of the elements that should be considered in quality learning objects instructional design for elearni...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
TROB
2002
13 years 9 months ago
2002
This paper presents an error modeling of an odometry system for a synchronous-drive system and a possible strategy for evaluating this error. The odometry error is modeled by intro...
AAAI
2008
14 years 16 days ago
2008
Legacy system data models can interoperate only if their syntactic and semantic differences are resolved. To address this problem, we developed the Intelligent Mapping Toolkit (IM...