3239 search results - page 483 / 648 » A Logical Process Calculus |
136
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
124
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
137
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
126
Voted
FSKD
2007
Springer
15 years 9 months ago
2007
Springer
A proposed KFCM-based fuzzy classifier was introduced. As for the process of constructing such classifier, firstly, the original sample space is mapped into a high dimensional fea...
126
Voted
IFL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...