4211 search results - page 634 / 843 » A formal approach to MASQ |
195
click to vote
MATES
2004
Springer
15 years 12 months ago
2004
Springer
Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put i...
218
click to vote
SCOPES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
148
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
157
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
169
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Reverse Engineering is a process fraught with imperfections. The importance of dealing with non-precise, possibly inconsistent data explicitly when interacting with the reverse en...