7209 search results - page 142 / 1442 » Software Engineering for Multi-Agent Systems |
122
click to vote
CISIS
2007
IEEE
16 years 16 days ago
2007
IEEE
In recent years, the leasing concept has become increasingly popular in the field of distributed systems; main exam
133
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
124
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
135
click to vote
TASE
2010
IEEE
15 years 27 days ago
2010
IEEE
System and program verification has been a large
162
click to vote
NLDB
2007
Springer
16 years 9 days 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...