4290 search results - page 577 / 858 » Formal Approaches to Teamwork |
229
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
176
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
180
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
195
click to vote
ADMA
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Social bookmarking has become an important web2.0 application recently, which is concerned with the dual user behavior to search - tagging. Although social bookmarking we...
185
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...