2346 search results - page 332 / 470 » Hierarchical State Machines |
143
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
158
click to vote
ISOLA
2007
Springer
16 years 19 days ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
179
click to vote
ICPADS
2006
IEEE
16 years 16 days ago
2006
IEEE
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
172
click to vote
INFOCOM
2006
IEEE
16 years 15 days ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
172
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
After having drawn up a state of the art on the theoretical feasibility of a system of periodic tasks scheduled by a preemptive algorithm at fixed priorities, we show in this art...