3765 search results - page 579 / 753 » Formal Methods for Systems Engineering Behavior Models |
157
click to vote
CGO
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern computer systems are called on to deal with billions of events every second, whether they are instructions executed, memory locations accessed, or packets forwarded. This p...
196
click to vote
TOMACS
1998
15 years 6 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
185
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
188
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract--Large-scale attacks like Distributed Denial-ofService (DDoS) attacks still pose unpredictable threats to the Internet infrastructure and Internet-based business. Thus, ma...
189
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...