5863 search results - page 780 / 1173 » On Model-Checking of P Systems |
170
click to vote
OOPSLA
1993
Springer
15 years 11 months ago
1993
Springer
iam Pugh. Advice to authors of extended abstracts. http://www.acm.org/sigplan/conferences/author-info/pughadvice.html. [7] Mary Shaw. Writing good software engineering research pap...
188
Voted
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Full-text information retrieval systems have traditionally been designed for archival environments. They often provide little or no support for adding new documents to an existing...
194
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...
159
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a memetic algorithm that dynamically optimizes the design of a wireless sensor network towards energy conservation and extension of the life span of the network, taking ...
176
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...