Sciweavers

2556 search results - page 141 / 512
» The Triconnected Abstraction of Process Models
Sort
View
172
Voted
FORTE
2008
15 years 8 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
EDM
2009
105views Data Mining» more  EDM 2009»
15 years 4 months ago
Subspace Clustering of Skill Mastery: Identifying Skills that Separate Students
Abstract. In educational research, a fundamental goal is identifying which skills students have mastered, which skills they have not, and which skills they are in the process of ma...
Rebecca Nugent, Elizabeth Ayers, Nema Dean
EWSA
2005
Springer
16 years 16 days ago
The Decision View of Software Architecture
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
Juan C. Dueñas, Rafael Capilla
FDL
2004
IEEE
15 years 10 months ago
On Actors and Objects - OOP in System Level Design
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...
Joachim K. Anlauf, Philipp A. Hartmann
162
Voted
BTW
2001
Springer
103views Database» more  BTW 2001»
15 years 11 months ago
On Realizing Transformation Independence in Open, Distributed Multimedia Information Systems
In this article, we present our efforts1 on realizing transformation independence in open, extensible, and highly distributed multimedia information The main focus is on the abstra...
Ulrich Marder