Sciweavers

4150 search results - page 382 / 830
» A Practical Approach to Model Extension
Sort
View
158
Voted
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 6 months ago
Logic Programming with Ordered Disjunction
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
Gerhard Brewka
SLE
2009
Springer
16 years 20 days ago
Ontological Metamodeling with Explicit Instantiation
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
Alfons Laarman, Ivan Kurtev
ASPDAC
2008
ACM
130views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Architecture-level thermal behavioral characterization for multi-core microprocessors
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
Duo Li, Sheldon X.-D. Tan, Murli Tirumala
ICSE
2008
IEEE-ACM
16 years 7 months ago
Using JULE to generate a compliance test suite for the UML standard
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
Panuchart Bunyakiati, Anthony Finkelstein, James S...
158
Voted
ICRA
2006
IEEE
99views Robotics» more  ICRA 2006»
16 years 5 days ago
A Grasp Planning for Picking up an Unknown Object for a Mobile Manipulator
— This paper describes a grasp planning for a mobile manipulator which works in real environment. Mobile robot studies up to now that manipulate an object in real world practical...
Kimitoshi Yamazaki, Masahiro Tomono, Takashi Tsubo...