2905 search results - page 417 / 581 » Formal Memetic Algorithms |
193
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
193
Voted
WS
2006
ACM
16 years 27 days ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
205
click to vote
WOSP
2005
ACM
16 years 15 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
218
click to vote
BIRTHDAY
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
221
click to vote
FIDJI
2003
Springer
16 years 5 days ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...