Sciweavers

4209 search results - page 36 / 842
» Abstract Dialectical Frameworks
Sort
View
ICTCS
2007
Springer
15 years 4 months ago
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
Marco Bernardo, Alessandro Aldini
ICNP
2005
IEEE
15 years 3 months ago
Typed Abstraction of Complex Network Compositions
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
RSP
1999
IEEE
160views Control Systems» more  RSP 1999»
15 years 2 months ago
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...
CSUR
2000
86views more  CSUR 2000»
14 years 9 months ago
HotDoc: a framework for compound documents
applications parts. Programmers can easily implement new parts by using abstract classes of the framework. HotDoc is implemented in VisualWorks Smalltalk.
Jürgen Buchner
GRAPHITE
2003
ACM
15 years 3 months ago
A framework for a dynamic interactive 3D GIS for non-expert users
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
Arron R. Walker, Binh Pham, Anthony J. Maeder