2407 search results - page 375 / 482 » A Tool for Abstraction in Model Checking |
294
Voted
TCAD
2011
15 years 18 days ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
170
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
139
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
138
Voted
ER
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
189
click to vote
IRCDL
2008
15 years 7 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...