89
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
135
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
123
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
The development of complex software systems involves collecting software requirements from various stakeholders. Often stakeholder perceptions conflict during the requirements eli...
146
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
110
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...