7209 search results - page 142 / 1442 » Software Engineering for Multi-Agent Systems |
CISIS
2007
IEEE
14 years 4 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
14 years 2 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
FSTTCS
1998
Springer
14 years 2 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
TASE
2010
IEEE
13 years 4 months ago
2010
IEEE
System and program verification has been a large
NLDB
2007
Springer
14 years 4 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...