10891 search results - page 1617 / 2179 » Combining Model Reductions |
136
Voted
JOT
2010
15 years 3 months ago
2010
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
132
Voted
JUCS
2010
2010
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
15 years 3 months ago
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
162
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
141
click to vote
NOMS
2010
IEEE
15 years 3 months ago
2010
IEEE
—PhoneFactor is a two-factor authentication service that combines the knowledge-based authenticator with an objectbased authenticator in which the object-based authenticator has ...
151
click to vote
SETN
2010
Springer
15 years 3 months ago
2010
Springer
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...