1302 search results - page 61 / 261 » From Liveness to Promptness |
126
Voted
BMCBI
2010
15 years 21 days ago
2010
nd: Gene regulatory network is an abstract mapping of gene regulations in living cells that can help to predict the system behavior of living organisms. Such prediction capability...
127
Voted
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
183
Voted
POPL
2007
ACM
16 years 27 days ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
108
click to vote
BIOADIT
2006
Springer
15 years 4 months ago
2006
Springer
Life-like adaptive behaviour is so far an illusive goal in robot control. A capability to act successfully in a complex, ambiguous, and harsh environment would vastly increase the ...
106
Voted
IEEESP
2010
14 years 11 months ago
2010
The need for controlled sharing of sensitive information occurs in many realistic everyday scenarios, ranging from critical (e.g., national security) to mundane (e.g., social netw...