7209 search results - page 142 / 1442 » Software Engineering for Multi-Agent Systems |
CISIS
2007
IEEE
15 years 8 months ago
2007
IEEE
In recent years, the leasing concept has become increasingly popular in the field of distributed systems; main exam
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
86
Voted
FSTTCS
1998
Springer
15 years 6 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
104
Voted
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
System and program verification has been a large
124
Voted
NLDB
2007
Springer
15 years 8 months ago
2007
Springer
Documents written in natural languages constitute a major part of the software engineering lifecycle artifacts. Especially during software maintenance or reverse engineering, seman...