4349 search results - page 714 / 870 » A Comprehensive Process Model for Studying Software Process ... |
129
click to vote
FORTE
2007
15 years 4 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
126
Voted
ACL
2006
15 years 4 months ago
2006
This paper presents an adaptive learning framework for Phonetic Similarity Modeling (PSM) that supports the automatic construction of transliteration lexicons. The learning algori...
136
click to vote
SAM
2004
15 years 4 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
115
Voted
FORTE
1998
15 years 4 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
146
click to vote
IJCAI
1997
15 years 4 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...