Sciweavers

302 search results - page 24 / 61
» Science in the Palms of Their Hands
Sort
View
DESRIST
2010
Springer
193views Education» more  DESRIST 2010»
15 years 4 months ago
Applying Design Research Artifacts for Building Design Research Artifacts: A Process Model for Enterprise Architecture Planning
Enterprise architecture (EA) describes the fundamental structure of an organization from business to IT. EA as a practice as well as a research topic has been around for several ye...
Stephan Aier, Bettina Gleichauf
STACS
2009
Springer
15 years 4 months ago
Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information Complexity of the AND-Function and Disjointness
Here we prove an asymptotically optimal lower bound on the information complexity of the k-party disjointness function with the unique intersection promise, an important special ca...
Andre Gronemeier
FM
1994
Springer
113views Formal Methods» more  FM 1994»
15 years 3 months ago
Abstract Model Checking of Infinite Specifications
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
Daniel Jackson
CCGRID
2008
IEEE
15 years 1 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
COMPUTER
2010
147views more  COMPUTER 2010»
14 years 12 months ago
Authentication by Biometric Verification
:-Biometrics is the science and technology of measuring and analyzing biological data. In information technology, biometrics refers to technologies that measure and analyze human b...
Ron Vetter