624 search results - page 122 / 125 » Application of Lightweight Formal Methods to Software Securi... |
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...
FIW
2007
14 years 11 months ago
2007
Assuring safety in the home network system (HNS) is a crucial issue to guarantee high quality of life. In this position paper, we first review our previous work, formulating three...
ATAL
2009
Springer
15 years 25 days ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
OOPSLA
2004
Springer
15 years 2 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
BMCBI
2004
14 years 9 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...