Sciweavers

11168 search results - page 1486 / 2234
» Abstract State Processes
Sort
View
LISP
2006
160views more  LISP 2006»
15 years 7 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
ISF
2007
139views more  ISF 2007»
15 years 7 months ago
Integrated model-driven dashboard development
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
Themis Palpanas, Pawan Chowdhary, George A. Mihail...
AIL
2004
103views more  AIL 2004»
15 years 7 months ago
Legal Ontologies in Knowledge Engineering and Information Management
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...
Joost Breuker, André Valente, Radboud Winke...
VC
2008
172views more  VC 2008»
15 years 7 months ago
Consistent mesh partitioning and skeletonisation using the shape diameter function
Abstract Mesh partitioning and skeletonisation are fundamental for many computer graphics and animation techniques. Because of the close link between an object's skeleton and ...
Lior Shapira, Ariel Shamir, Daniel Cohen-Or
APIN
2000
143views more  APIN 2000»
15 years 7 months ago
Conceptual Models and Architectures for Advanced Information Systems
Abstract. This paper addresses several issues related to the use of conceptual modeling to support serviceoriented, advanced information systems. It shows how conceptual modeling o...
Larry Kerschberg, Doyle Weishar
« Prev « First page 1486 / 2234 Last » Next »