7080 search results - page 285 / 1416 » Designing High Integrity Systems Using Aspects |
132
Voted
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
144
Voted
PPSC
1997
15 years 4 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...
127
click to vote
ADBIS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In [1, 8] we proposed a complete design of a workflow management system using mobile agents. The proposed solution was highly distributed and almost without centralized ...
145
click to vote
ISI
2007
Springer
15 years 9 months ago
2007
Springer
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
141
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...