4255 search results - page 254 / 851 » Database: Models, Languages, Design |
190
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
214
click to vote
FDL
2004
IEEE
15 years 11 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
178
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
137
click to vote
OOPSLA
2005
Springer
16 years 21 days ago
2005
Springer
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...
194
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...