Sciweavers

7202 search results - page 133 / 1441
» Software System Engineering: A Tutorial
Sort
View
86
Voted
CISIS
2007
IEEE
15 years 9 months ago
Leasing Variants in Distributed Systems
In recent years, the leasing concept has become increasingly popular in the field of distributed systems; main exam
Michael Schneider, Markus Aleksy, Martin Schader, ...
CODES
1999
IEEE
15 years 7 months ago
Worst-case analysis of discrete systems based on conditional abstractions
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
Felice Balarin
87
Voted
FSTTCS
1998
Springer
15 years 6 months ago
On the Confluence of Trace Rewriting Systems
In [NO88], a particular trace monoid M is constructed such that for the class of length
Markus Lohrey
105
Voted
TASE
2010
IEEE
14 years 9 months ago
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large
Houda Bel Mokadem, Béatrice Bérard, ...
124
Voted
NLDB
2007
Springer
15 years 8 months ago
Ontological Text Mining of Software Documents
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...
René Witte, Qiangqiang Li, Yonggang Zhang, ...