4737 search results - page 572 / 948 » The LOGIC negotiation model |
184
click to vote
MSR
2005
ACM
16 years 1 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...
192
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
224
click to vote
FM
2003
Springer
16 years 24 days ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
199
Voted
CAV
2001
Springer
16 years 2 days ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
227
click to vote
UML
2001
Springer
16 years 5 hour ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...