852 search results - page 131 / 171 » entcs 2010 |
118
click to vote
ENTCS
2006
15 years 13 days ago
2006
Recent technological advances have enabled both the consumption and provision of mobile services (m-services) by small, portable, handheld devices. However, mobile devices still h...
105
Voted
ENTCS
2006
15 years 13 days ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
ENTCS
2006
15 years 13 days ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
ENTCS
2006
15 years 13 days ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
ENTCS
2006
15 years 13 days ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...