906 search results - page 71 / 182 » Modeling methodology for application development in petroleu... |
148
click to vote
CD
2004
Springer
15 years 11 months ago
2004
Springer
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
150
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
137
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
185
click to vote
TSE
2010
15 years 29 days ago
2010
Several recent studies indicate that many industrial applications exhibit poor quality in the design of exception-handling. To improve the quality of error-handling, we need to und...
192
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...