2357 search results - page 159 / 472 » Computing Refactorings of Behavior Models |
131
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
144
Voted
IWIA
2003
IEEE
15 years 9 months ago
2003
IEEE
1 A new method for detecting anomalies in the usage of protocols in computer networks is presented in this work. The proposed methodology is applied to TCP and disposed in two step...
144
click to vote
STOC
2000
ACM
15 years 9 months ago
2000
ACM
We propose a random graph model which is a special case of sparse random graphs with given degree sequences. This model involves only a small number of parameters, called logsize ...
151
Voted
AAAI
2004
15 years 6 months ago
2004
The Seldon model combines concepts from agent-based modeling and social network analysis to create a computation model of social dynamics for terrorist recruitment. The underlying...
168
click to vote
EUMAS
2006
15 years 6 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...