Sciweavers

7209 search results - page 1086 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
138
Voted
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 5 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
132
Voted
JUCS
2000
102views more  JUCS 2000»
15 years 28 days ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
160
Voted
CORR
1998
Springer
184views Education» more  CORR 1998»
15 years 25 days ago
Case Study in Survivable Network System Analysis
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
Robert J. Ellison, Richard C. Linger, Thomas A. Lo...
114
Voted
IRI
2005
IEEE
15 years 6 months ago
Data-knowledge-context: an application model for collaborative work
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...
Lee A. Iverson
101
Voted
EMSOFT
2007
Springer
15 years 7 months ago
Uniformity improving page allocation for flash memory file systems
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee...
« Prev « First page 1086 / 1442 Last » Next »