2562 search results - page 94 / 513 » Components of the Fundamental Category |
151
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
177
click to vote
SEFM
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
155
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
LEAF, the Lean and Extensible Architectural Framework, is an enhancement wrapper for J2EE implementations. Basically, LEAF fixes some identified J2EE issues and extends, as well a...
149
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
151
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a new approach to biometrics that makes probabilistic inferences about matching without ever estimating an identity "template". The biometric data is...