Sciweavers

3653 search results - page 219 / 731
» On Recognizable Timed Languages
Sort
View
WWW
2005
ACM
16 years 6 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
PLDI
2009
ACM
16 years 6 months ago
Sharing classes between families
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
Xin Qi, Andrew C. Myers
PEPM
2007
ACM
15 years 11 months ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
PLDI
2003
ACM
15 years 10 months ago
Static array storage optimization in MATLAB
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
Pramod G. Joisha, Prithviraj Banerjee
157
Voted
ICECCS
1999
IEEE
88views Hardware» more  ICECCS 1999»
15 years 9 months ago
UML + ROOM as a Standard ADL?
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
Bernhard Rumpe, M. Schoenmakers, Ansgar Radermache...