880 search results - page 125 / 176 » Model checking erlang programs: the functional approach |
139
Voted
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
Many software systems are developed with configurable functionality, and for multiple hardware platforms and operating systems. This can lead to thousands of possible configuratio...
166
click to vote
WSC
2007
15 years 6 months ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
160
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
134
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
130
click to vote
IEICET
2006
15 years 4 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...